aboutsummaryrefslogtreecommitdiff
path: root/tools/run_tool.sh
diff options
context:
space:
mode:
Diffstat (limited to 'tools/run_tool.sh')
-rwxr-xr-xtools/run_tool.sh14
1 files changed, 1 insertions, 13 deletions
diff --git a/tools/run_tool.sh b/tools/run_tool.sh
index 14d0e45..495d68c 100755
--- a/tools/run_tool.sh
+++ b/tools/run_tool.sh
@@ -5,19 +5,7 @@ if [ -z "$TOOL" ]; then
5 exit 1 5 exit 1
6fi 6fi
7 7
8CC="cc -std=c99 -pedantic -Wall -Wextra \ 8CC="$CC -D_POSIX_C_SOURCE=199309L"
9 -Wno-unused-parameter -Wno-unused-function -D$CUBETYPE \
10 -D_POSIX_C_SOURCE=199309L"
11
12if [ -n "$DEBUG" ]; then
13 CC="$CC -fsanitize=address -g3"
14 CUBEOBJ="debugcube.o"
15else
16 CC="$CC -O3"
17 CUBEOBJ="cube.o"
18fi
19
20[ "$CUBETYPE" = "CUBE_AVX2" ] && CC="$CC -mavx2"
21 9
22BIN="tools/run" 10BIN="tools/run"
23d="$(date +'%Y-%m-%d-%H-%M-%S')" 11d="$(date +'%Y-%m-%d-%H-%M-%S')"

Generated with cgit - Back to sebastiano.tronto.net