From 4a16da26dacdb37b9ef8d3d11e10ecb94b0cf396 Mon Sep 17 00:00:00 2001
From: Sebastiano Tronto <sebastiano@tronto.net>
Date: Wed, 3 Jul 2024 15:05:10 +0200
Subject: renamed benchmarks to tools

---
 Makefile | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 43bc3e4..f5ea6d9 100644
--- a/Makefile
+++ b/Makefile
@@ -17,8 +17,8 @@ clean:
 test: debugcube.o
 	CUBETYPE=${CUBETYPE} TEST=${TEST} ./test/test.sh
 
-benchmark: cube.o
-	CUBETYPE=${CUBETYPE} ./benchmark/benchmark.sh
+tool: cube.o
+	CUBETYPE=${CUBETYPE} ./tools/run_tool.sh
 
 shell: cube.o
 	mkdir -p tables
@@ -28,4 +28,4 @@ debugshell: debugcube.o
 	mkdir -p tables
 	${CC} ${DBGFLAGS} -o run debugcube.o shell.c
 
-.PHONY: all clean test benchmark shell debugshell
+.PHONY: all clean test tool shell debugshell
-- 
cgit v1.3