Tweak mugs-cli bootstrap

Raku-MUGS · Aug 21, 2023 · 05bbb16 · 05bbb16
1 parent b8e938a
commit 05bbb16
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/bin/mugs-cli b/bin/mugs-cli
@@ -1,4 +1,4 @@
 #!/usr/bin/env raku
 use v6.d;
-BEGIN put 'Loading MUGS.' if $*OUT.t;
+BEGIN put 'Loading and optimizing MUGS.' if $*OUT.t && !@*ARGS.grep('-?'|'--help');
 use MUGS::App::CLI;