Merge aaad6fd into aa8a2ed

oscar-system · Apr 23, 2022 · d98e346 · d98e346
2 parents aa8a2ed + aaad6fd
commit d98e346
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/src/Singular.jl b/src/Singular.jl
@@ -165,10 +165,10 @@ function __init__()
    mapping_types_reversed = Dict( i[2] => i[1] for i in libSingular.get_type_mapper() )
    casting_functions = create_casting_functions()
 
-   # Respect the -q flag
-   isquiet = Bool(Base.JLOptions().quiet)
+   # Respect the -q and --banner flag
+   allowbanner = Base.JLOptions().banner != 0
 
-   show_banner = !isquiet && isinteractive() &&
+   show_banner = allowbanner && isinteractive() &&
                 !any(x->x.name in ["Oscar"], keys(Base.package_locks)) &&
                 get(ENV, "SINGULAR_PRINT_BANNER", "true") != "false"