1 files changed, 14 insertions, 0 deletions
diff --git a/test-code/batch-cgal.sh b/test-code/batch-cgal.sh
new file mode 100755
index 0000000..ea587be
--- /dev/null
+++ b/test-code/batch-cgal.sh
@@ -0,0 +1,14 @@
+#!/bin/sh
+
+cmd="./cgaltest"
+
+if [ $# == 0 ]; then
+  dir=../testdata/scad
+else
+  dir=$1
+fi
+
+for f in $dir/*.scad; do
+  echo == `basename $f` ==
+  "$cmd" "$f"
+done