summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile5
1 files changed, 5 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index eca3951..44a54b7 100644
--- a/Makefile
+++ b/Makefile
@@ -109,6 +109,11 @@ check: check-unit check-integration
+bench: tests/main.bin
+ $(EXEC)tests/main.bin -test.bench '.*'
+
+
+
## Remove *all* derived artifacts produced during the build.
## A dedicated test asserts that this is always true.
clean: