From 7c994d0ee99d8b69bf958f1559db3a294f459e3e Mon Sep 17 00:00:00 2001
From: Sebastiano Tronto <sebastiano@tronto.net>
Date: Tue, 15 Oct 2024 20:06:04 +0200
Subject: Rename debug shell executable

---
 Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index c41921a..025fdb5 100644
--- a/Makefile
+++ b/Makefile
@@ -15,7 +15,7 @@ debugnissy.o:
 	${CC} ${MACROS} ${DBGFLAGS} -c -o debugnissy.o src/nissy.c
 
 clean:
-	rm -rf *.o *.so run
+	rm -rf *.o *.so run debugrun
 
 test: debugnissy.o
 	CC="${CC} ${MACROS} ${DBGFLAGS}" OBJ=debugnissy.o ./test/test.sh
@@ -34,7 +34,7 @@ shell: nissy.o
 
 debugshell: debugnissy.o
 	mkdir -p tables
-	${CC} ${MACROS} ${DBGFLAGS} -o run debugnissy.o shell/shell.c
+	${CC} ${MACROS} ${DBGFLAGS} -o debugrun debugnissy.o shell/shell.c
 
 shelltest: debugshell
 	./shell/test.sh
-- 
cgit v1.3