From f30cea32b997f4ff4e1e2fb5942a47e2b520825f Mon Sep 17 00:00:00 2001 From: Simon Michael Date: Wed, 16 Jun 2021 08:25:52 -1000 Subject: [PATCH] ;make bench: fix on non-mac --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index a57fe85c7..218639a31 100644 --- a/Makefile +++ b/Makefile @@ -648,7 +648,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):" - @which -s quickbench && quickbench -w $(BENCHEXES) || echo "quickbench not installed (see bench.sh), skipping" + @which quickbench >/dev/null && quickbench -w $(BENCHEXES) || echo "quickbench not installed (see bench.sh), skipping" # bench: samplejournals tests/bench.tests tools/simplebench \ # $(call def-help,bench,\