diff options
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/appall.sh | 2 | ||||
| -rwxr-xr-x | bin/build.sh | 2 | ||||
| -rwxr-xr-x | bin/flo2app.sh (renamed from bin/flo-app.sh) | 0 |
3 files changed, 2 insertions, 2 deletions
diff --git a/bin/appall.sh b/bin/appall.sh index 112b612b..d8fa6a61 100755 --- a/bin/appall.sh +++ b/bin/appall.sh @@ -3,5 +3,5 @@ shift 1 for file in "$@"; do echo $file - (cd generated; ../bin/flo-app.sh $file >& $file.appout) + (cd generated; ../bin/flo2app.sh $file >& $file.appout) done diff --git a/bin/build.sh b/bin/build.sh index df7ca53c..badb8f97 100755 --- a/bin/build.sh +++ b/bin/build.sh @@ -3,4 +3,4 @@ DIR=$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd ) to-fir $1 (cd generated; $DIR/fir2flo.sh $1) -(cd generated; $DIR/flo-app $1) +(cd generated; $DIR/flo2app $1) diff --git a/bin/flo-app.sh b/bin/flo2app.sh index bac47702..bac47702 100755 --- a/bin/flo-app.sh +++ b/bin/flo2app.sh |