From 794d236eb9b15e699c279b3703ec79d753267e82 Mon Sep 17 00:00:00 2001
From: Bruce Hill <bruce@bruce-hill.com>
Date: Fri, 21 Feb 2025 15:03:48 -0500
Subject: [PATCH] Fix makefile optimization parameter

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 6aaedca..4424368 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