diff options
Diffstat (limited to 'externals/grill/flext/tutorial/build.sh')
-rw-r--r-- | externals/grill/flext/tutorial/build.sh | 27 |
1 files changed, 0 insertions, 27 deletions
diff --git a/externals/grill/flext/tutorial/build.sh b/externals/grill/flext/tutorial/build.sh deleted file mode 100644 index 6ea19cb1..00000000 --- a/externals/grill/flext/tutorial/build.sh +++ /dev/null @@ -1,27 +0,0 @@ -#! /bin/bash - -if - [ -n "$1" -a -n "$2" ] -then - # make config first - if - bash ../build.sh $1 $2 config "PKGINFO=" "NAME=tutorial" "SRCS=\"\"" - then - for i in * ; do - if [ -e $i/package.txt ] ; then - pushd $i - bash ../../build.sh $1 $2 - popd - fi - done - fi -else - echo - echo SYNTAX: build.sh [platform] [system] [compiler] - echo system ..... pd / max - echo compiler ... msvc / gcc / mingw / cygwin / bcc / icc - echo - echo Please make sure that your make program and compiler can be accessed with the - echo system path and that all relevant environment variables are properly set. - echo -fi |