From 70f48bf50f12f1e4834a33f85640cd42656eb6f5 Mon Sep 17 00:00:00 2001 From: Simon Michael Date: Mon, 14 Dec 2020 09:57:13 -0800 Subject: [PATCH] ;make test, bench: ignore if quickbench not installed --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index bac736fc3..bd7910387 100644 --- a/Makefile +++ b/Makefile @@ -641,7 +641,7 @@ bench: quickbench quickbench: samplejournals bench.sh $(call def-help,quickbench, benchmark commands in bench.sh with quickbench and $(BENCHEXES)) @echo; echo "run quick performance benchmarks in bench.sh (approximate, can be skewed):" - quickbench -w $(BENCHEXES) # -v + @which -s quickbench && quickbench -w $(BENCHEXES) || echo "quickbench not installed, skipping" # bench: samplejournals tests/bench.tests tools/simplebench \ # $(call def-help,bench,\