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