1 files changed, 15 insertions, 0 deletions
diff --git a/tools/check b/tools/check
new file mode 100755
index 0000000..a6c5d20
--- /dev/null
+++ b/tools/check
@@ -0,0 +1,15 @@
+#!/bin/sh
+
+types="Debug Release Coverage"
+
+mkdir build
+cd build
+
+for type in $types
+do
+	rm -rf $type
+	cmake .. -B $type -DCMAKE_BUILD_TYPE=$type
+done
+
+cd ..
+fossil ls | entr -c tools/tests $types