summaryrefslogtreecommitdiff
path: root/tests/src/betree/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'tests/src/betree/Makefile')
-rw-r--r--tests/src/betree/Makefile11
1 files changed, 11 insertions, 0 deletions
diff --git a/tests/src/betree/Makefile b/tests/src/betree/Makefile
new file mode 100644
index 00000000..7b41e56d
--- /dev/null
+++ b/tests/src/betree/Makefile
@@ -0,0 +1,11 @@
+.PHONY: all
+all: tests
+
+.PHONY: test
+test:
+ cargo rustc -- --test -Zpolonius
+ cd target/debug/ && ./betree
+
+.PHONY: clean
+clean:
+ cargo clean