test-code/batch-dump.sh


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

#!/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