From 4abb81c230bfcd599ccceb2b1bcbdcadbd859537 Mon Sep 17 00:00:00 2001 From: Sebastiano Tronto Date: Thu, 11 Jul 2024 15:18:16 +0200 Subject: Cleanup makefile and tools --- Makefile | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'Makefile') diff --git a/Makefile b/Makefile index cdf5bcd..8ff5f47 100644 --- a/Makefile +++ b/Makefile @@ -15,15 +15,15 @@ clean: rm -rf *.o run test: debugcube.o - CUBETYPE=${CUBETYPE} TEST=${TEST} ./test/test.sh + CC="${CC} ${DBGFLAGS}" ./test/test.sh tool: cube.o mkdir -p tools/results - CUBETYPE=${CUBETYPE} ./tools/run_tool.sh + CC="${CC} ${CFLAGS}" CUBEOBJ=cube.o ./tools/run_tool.sh debugtool: debugcube.o mkdir -p tools/results - CUBETYPE=${CUBETYPE} DEBUG=1 ./tools/run_tool.sh + CC="${CC} ${DBGFLAGS}" CUBEOBJ=debugcube.o ./tools/run_tool.sh shell: cube.o mkdir -p tables -- cgit v1.3