Update base/loading.jl

JuliaLang · Jan 9, 2023 · c69bf43 · c69bf43
1 parent 07203d2
commit c69bf43
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/base/loading.jl b/base/loading.jl
@@ -2645,7 +2645,11 @@ end
  return true
  end
  end
- tracked_path = unsafe_string(JLOptions().tracked_path)
+ tracked_path = if JLOptions().tracked_path == NULL
+ ""
+ else
+ unsafe_string(JLOptions().tracked_path)
+ end
  for chi in includes
  f, ftime_req = chi.filename, chi.mtime
  if !isfile(f)