Merge pull request #13613 from JuliaLang/jmm/loose_mtime_precache

Avoid unnecessary recompilation in Docker images

Author: stevengj

base/loading.jl

@@ -508,7 +508,8 @@ function stale_cachefile(modpath, cachefile)
             return true # cache file was compiled from a different path
         end
         for (f,ftime) in files
-            if mtime(f) != ftime
+            # Issue #13606: compensate for Docker images rounding mtimes
+            if mtime(f) ∉ (ftime, floor(ftime))
                 return true
             end
         end