diff options
Diffstat (limited to 'externals/grill/flext/build/build-gcc.sh')
-rw-r--r-- | externals/grill/flext/build/build-gcc.sh | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/externals/grill/flext/build/build-gcc.sh b/externals/grill/flext/build/build-gcc.sh deleted file mode 100644 index 3fffd918..00000000 --- a/externals/grill/flext/build/build-gcc.sh +++ /dev/null @@ -1,3 +0,0 @@ -build=${0%/*}/ - -make -f ${build}gnumake.mak PLATFORM=$1 RTSYS=$2 COMPILER=gcc BUILDPATH=${build} $3 $4 $5 $6 $7 $8 $9 |