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