benchmarks: add a Makefile
authorJean Privat <jean@pryen.org>
Mon, 14 Sep 2015 20:28:54 +0000 (16:28 -0400)
committerJean Privat <jean@pryen.org>
Tue, 15 Sep 2015 23:55:51 +0000 (19:55 -0400)
Signed-off-by: Jean Privat <jean@pryen.org>

benchmarks/Makefile [new file with mode: 0644]

diff --git a/benchmarks/Makefile b/benchmarks/Makefile
new file mode 100644 (file)
index 0000000..6c62287
--- /dev/null
@@ -0,0 +1,5 @@
+all:
+       ./bench_engines.sh all
+
+check:
+       ./bench_engines.sh --fast --fast bench_nitc_options