diff --git a/run_tests.sh b/run_tests.sh index 30b16f74..c66fb063 100644 --- a/run_tests.sh +++ b/run_tests.sh @@ -4,7 +4,7 @@ python prebuild.py SRC=$(find src/ -name "*.c") -clang -std=c11 --coverage -O1 -Wfatal-errors -o main src2/main.c $SRC -Iinclude -DPK_ENABLE_OS=1 -DPK_DEBUG_PRECOMPILED_EXEC=1 -DPK_ENABLE_PROFILER=1 +clang -std=c11 --coverage -O1 -Wfatal-errors -o main src2/main.c $SRC -Iinclude -DPK_ENABLE_OS=1 -DPK_ENABLE_PROFILER=1 -lm -DNDEBUG python scripts/run_tests.py