From dacd7850e8c4d338728aa84a3bb4d73ebdb62b85 Mon Sep 17 00:00:00 2001 From: Jean Privat Date: Mon, 14 Sep 2015 16:28:54 -0400 Subject: [PATCH] benchmarks: add a Makefile Signed-off-by: Jean Privat --- benchmarks/Makefile | 5 +++++ 1 file changed, 5 insertions(+) create mode 100644 benchmarks/Makefile diff --git a/benchmarks/Makefile b/benchmarks/Makefile new file mode 100644 index 0000000..6c62287 --- /dev/null +++ b/benchmarks/Makefile @@ -0,0 +1,5 @@ +all: + ./bench_engines.sh all + +check: + ./bench_engines.sh --fast --fast bench_nitc_options -- 1.7.9.5