import of Diogenes 0.9.18

[diogenes.git] / testing / run

diff --git a/testing/run b/testing/run
new file mode 100755 (executable)
index 0000000..17e8235
--- /dev/null
+++ b/testing/run
@@ -0,0 +1,5 @@
+#!/bin/sh -e
+
+./alltests | grep -v '() passed$'
+
+echo