diff options
Diffstat (limited to 'gfsm/gfsm/tests/data/zzz-compile-all.sh')
| -rwxr-xr-x | gfsm/gfsm/tests/data/zzz-compile-all.sh | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/gfsm/gfsm/tests/data/zzz-compile-all.sh b/gfsm/gfsm/tests/data/zzz-compile-all.sh deleted file mode 100755 index 8a0d92b..0000000 --- a/gfsm/gfsm/tests/data/zzz-compile-all.sh +++ /dev/null @@ -1,12 +0,0 @@ -#!/bin/sh - -dir=`pwd -P` -progdir="$dir/../../src/programs" - -for f in *.tfst ; do - b=`basename $f .tfst` - echo "$f -> $b.gfst" - ${progdir}/gfsmcompile "$f" -F "$b.gfst" -done - -
\ No newline at end of file |