Make extension loading failure throw an error during pre-compilation

JuliaLang · Nov 24, 2024 · ab49cee · ab49cee
1 parent 0bedaae
commit ab49cee
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/base/loading.jl b/base/loading.jl
@@ -1588,6 +1588,10 @@ function run_extension_callbacks(extid::ExtensionId)
         errs = current_exceptions()
         @error "Error during loading of extension $(extid.id.name) of $(extid.parentid.name), \
                 use `Base.retry_load_extensions()` to retry." exception=errs
+        if JLOptions().incremental != 0
+            # during incremental precompilation, this should be fail-fast
+            throw(PrecompilableError())
+        end
         false
     finally
         global loading_extension = false