Add check.sh script to run C++ tests for now.

probcomp · Jul 23, 2015 · c14344e · c14344e
1 parent 9243b37
commit c14344e
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/check.sh b/check.sh
@@ -0,0 +1,5 @@
+#!/bin/sh
+
+set -Ceu
+
+(cd cpp_code && make runtests)