checkGML.sh revision 64a174a62d762d93f8bd19318990809e90d1afd8
#!/bin/sh
# testing GML formulae
for i in *.g
do
echo "~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~processing GML f from $i"
../main 4 $i
done