Merge pull request JuliaLang#938 from JuliaLang/dpa/banner-slash

Check the Julia release banner with and without the slash
stemann · Apr 30, 2024 · 791bc90 · 791bc90
2 parents 8e57908 + 1f17b3d
commit 791bc90
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/src/PackageCompiler.jl b/src/PackageCompiler.jl
@@ -740,7 +740,9 @@ end
 # App #
 #######
 
-const IS_OFFICIAL = Base.TAGGED_RELEASE_BANNER == "Official https://julialang.org/ release"
+# Previously there was a slash.
+# The slash was removed in https://github.com/JuliaLang/julia/pull/53978
+const IS_OFFICIAL = Base.TAGGED_RELEASE_BANNER in ("Official https://julialang.org/ release", "Official https://julialang.org release")
 function warn_official()
     if !IS_OFFICIAL
         @warn "PackageCompiler: This does not look like an official Julia build, functionality may suffer." _module=nothing _file=nothing