diff options
Diffstat (limited to 'externals/grill/flext/build.sh')
-rw-r--r-- | externals/grill/flext/build.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/externals/grill/flext/build.sh b/externals/grill/flext/build.sh index 1e8d4d61..c467fd45 100644 --- a/externals/grill/flext/build.sh +++ b/externals/grill/flext/build.sh @@ -41,7 +41,7 @@ subbatch=${flext}buildsys/build-${compiler}.sh if [ -n "$platform" -a -n "$rtsys" -a -n "$compiler" -a -f $subbatch ] then - bash $subbatch $platform $rtsys $target $4 $5 $6 $7 $8 $9 + sh $subbatch $platform $rtsys $target $4 $5 $6 $7 $8 $9 else echo echo SYNTAX: build.sh [system] [compiler] {target} |