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