From 02be4bd3b6be91c578d9f37e4e501b4aa7f4fc8f Mon Sep 17 00:00:00 2001 From: ENGO150 Date: Sat, 30 Apr 2022 16:51:49 +0200 Subject: [PATCH] added Wall flag --- build.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/build.sh b/build.sh index 01fa8d2..98b58d8 100644 --- a/build.sh +++ b/build.sh @@ -15,7 +15,7 @@ files=" compiler="cc" output="out/why2" -flags="-ljson-c -lcurl" +flags="-Wall -ljson-c -lcurl" # Check for debug flag if [[ "$*" == "debug" ]]; then