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 09b3d003..1e8d4d61 100644 --- a/externals/grill/flext/build.sh +++ b/externals/grill/flext/build.sh @@ -35,7 +35,7 @@ rtsys=$1 compiler=$2 target=$3 -# --- The subbatch knowns which make utility to use --- +# --- The subbatch knows which make utility to use --- subbatch=${flext}buildsys/build-${compiler}.sh if |