We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 60f0057 commit f5dc26bCopy full SHA for f5dc26b
base/loading.jl
@@ -1587,9 +1587,14 @@ function run_extension_callbacks(extid::ExtensionId)
1587
true
1588
catch
1589
# Try to continue loading if loading an extension errors
1590
- errs = current_exceptions()
1591
- @error "Error during loading of extension $(extid.id.name) of $(extid.parentid.name), \
+ if JLOptions().incremental != 0
+ # during incremental precompilation, this should be fail-fast
1592
+ rethrow()
1593
+ else
1594
+ errs = current_exceptions()
1595
+ @error "Error during loading of extension $(extid.id.name) of $(extid.parentid.name), \
1596
use `Base.retry_load_extensions()` to retry." exception=errs
1597
+ end
1598
false
1599
finally
1600
global loading_extension = false
0 commit comments