aboutsummaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 6aaedcab..44243687 100644
--- a/Makefile
+++ b/Makefile
@@ -57,7 +57,7 @@ tags:
%.tm.testresult: %.tm tomo
@printf '\x1b[33;1;4m%s\x1b[m\n' $<
@set -o pipefail; \
- if ! VERBOSE=0 COLOR=1 CC=gcc O=1 ./tomo $< 2>&1 | tee $@; then \
+ if ! VERBOSE=0 COLOR=1 CC=gcc ./tomo -O 1 $< 2>&1 | tee $@; then \
rm -f $@; \
false; \
fi