aboutsummaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile3
1 files changed, 2 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 6569bd5..94d9b49 100644
--- a/Makefile
+++ b/Makefile
@@ -221,7 +221,8 @@ ifeq ($(CHECK),1)
else
INTERP=$(INTERP) python3 tests/bench/suite.py run
endif
-bench-save: bench
+bench-save:
+ BENCH_SAVE=1 $(MAKE) bench
cp $(B)/bench.txt tests/bench.baseline
@echo "bench: wrote tests/bench.baseline"
bench-check: $(BIN)/zy$(EXE)