diff options
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -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: |