Merge pull request #398 from oscar-system/bl/banner

honor --banner=no (and implicitly -q)
oscar-system · Apr 23, 2022 · 9242f08 · 9242f08
2 parents 6a8c954 + 039afa6
commit 9242f08
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/Polymake.jl b/src/Polymake.jl
@@ -116,7 +116,7 @@ function __init__()
     ENV["POLYMAKE_DEPS_TREE"] = polymake_deps_tree
 
     try
-        show_banner = isinteractive() &&
+        show_banner = isinteractive() && Base.JLOptions().banner != 0 &&
                        !any(x->x.name in ["Oscar"], keys(Base.package_locks))
 
         initialize_polymake(show_banner)