added embryonic validate script
authorNorman Ramsey <nr@cs.tufts.edu>
Fri, 7 Jan 2011 20:20:33 +0000 (15:20 -0500)
committerNorman Ramsey <nr@cs.tufts.edu>
Fri, 7 Jan 2011 20:20:33 +0000 (15:20 -0500)
validate [new file with mode: 0755]

diff --git a/validate b/validate
new file mode 100755 (executable)
index 0000000..8ff595f
--- /dev/null
+++ b/validate
@@ -0,0 +1,6 @@
+#!/bin/sh
+
+set -e
+
+cd src && mk
+cd ../testing && mk