From 888825b24a5118a11bb471b309c08dbd52f00e88 Mon Sep 17 00:00:00 2001 From: Zakarya Date: Wed, 31 Jul 2024 13:09:49 -0700 Subject: [PATCH] Fix a bug where make -r will work but exit with an error Also fixed the help message to say "make all [format]" instead of "make [format]" --- make | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/make b/make index 75e2d4f..d3de608 100755 --- a/make +++ b/make @@ -49,7 +49,7 @@ def print_help(): Graphics compilation wrapper Use "make all" to compile all graphics in all formats -Use "make [svg|png|webp]" to compile all graphics in a specific format +Use "make all [svg|png|webp]" to compile all graphics in a specific format Flags: -h or --help - Show this message @@ -74,6 +74,7 @@ if len(sys.argv) != 1: print("Removing output directory...") shutil.rmtree("output") # Scary print("Output directory removed") + sys.exit() if sys.argv[1] == "all": if len(sys.argv) == 3: