diff options
| author | Bruce Hill <bruce@bruce-hill.com> | 2025-02-21 15:03:48 -0500 |
|---|---|---|
| committer | Bruce Hill <bruce@bruce-hill.com> | 2025-02-21 15:03:48 -0500 |
| commit | 794d236eb9b15e699c279b3703ec79d753267e82 (patch) | |
| tree | aab5fad3593e9157b3c949cf9825af79d0ae5591 | |
| parent | 7a6abd4f8eca56a2bba7e7d0b8dfa3011586a89c (diff) | |
Fix makefile optimization parameter
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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 |