diff --git a/Makefile b/Makefile index e0d066b..dc37661 100644 --- a/Makefile +++ b/Makefile @@ -30,7 +30,7 @@ all: options ${ALL} bench: all ${BENCH} @echo LD ${BENCH} ${MID} -o $@ @${CC} ${ALL_CFLAGS} ${BENCH} -o $@ ${ALL_LDFLAGS} -rdynamic -ldl - ./bench.sh ./bench ${AGAINST} + ./benchtime ./bench ${AGAINST} .PHONY: options options: diff --git a/bench.sh b/benchtime similarity index 100% rename from bench.sh rename to benchtime