1st shot at suppressing the Polymake banner in Oscar

oscar-system · Apr 7, 2020 · 49e2df8 · 49e2df8
1 parent dd8359f
commit 49e2df8
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/src/Polymake.jl b/src/Polymake.jl
@@ -115,5 +115,8 @@ include("polynomial.jl")
 
 include("polymake_direct_calls.jl")
 
-include("generate_applications.jl")
+Base.CoreLogging.with_logger(Base.CoreLogging.NullLogger()) do
+ include("generate_applications.jl")
+end
+
 end # of module Polymake