From 6c36a8d0729c4cf44ba5f0e95fae738ef1851c44 Mon Sep 17 00:00:00 2001 From: Ian Butterworth Date: Thu, 20 Jan 2022 21:38:52 -0500 Subject: [PATCH] Update base/loading.jl Co-authored-by: Dilum Aluthge --- base/loading.jl | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/base/loading.jl b/base/loading.jl index d3d46ce71ac421..a11bc053085bdd 100644 --- a/base/loading.jl +++ b/base/loading.jl @@ -408,8 +408,12 @@ end ## generic project & manifest API ## const project_names = ("JuliaProject.toml", "Project.toml") -const manifest_names = ("JuliaManifest$(VERSION.major).$(VERSION.minor).toml", "JuliaManifest.toml", - "Manifest$(VERSION.major).$(VERSION.minor).toml", "Manifest.toml") +const manifest_names = ( + "JuliaManifest.$(VERSION.major).$(VERSION.minor).toml", + "Manifest.$(VERSION.major).$(VERSION.minor).toml", + "JuliaManifest.toml", + "Manifest.toml", +) const preferences_names = ("JuliaLocalPreferences.toml", "LocalPreferences.toml") # classify the LOAD_PATH entry to be one of: