1 files changed, 12 insertions, 0 deletions
diff --git a/Test/GPUVerify/runtests.sh b/Test/GPUVerify/runtests.sh
new file mode 100755
index 00000000..6dc6cbe7
--- /dev/null
+++ b/Test/GPUVerify/runtests.sh
@@ -0,0 +1,12 @@
+#!/bin/sh
+
+if [ -e /cygdrive/c/Python27/python.exe ] ; then
+  PYTHON=/cygdrive/c/Python27/python
+else
+  PYTHON=python
+fi
+
+CONF=$1
+CONF=${CONF:=Debug}
+
+$PYTHON ../lit/lit.py -sv --param configuration=$CONF .