diff options
Diffstat (limited to 'bin/appall.sh')
| -rwxr-xr-x | bin/appall.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/appall.sh b/bin/appall.sh index 3c9054f1..32f1c118 100755 --- a/bin/appall.sh +++ b/bin/appall.sh @@ -3,5 +3,5 @@ shift 1 for file in "$@"; do echo $file - (cd generated; ../chisel3/bin/flo2app.sh $file >& $file.appout) + (cd generated; $CHISEL_BIN/flo2app.sh $file >& $file.appout) done |