diff options
Diffstat (limited to 'contrib/mingw/ba-wrap.sh')
-rwxr-xr-x | contrib/mingw/ba-wrap.sh | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/contrib/mingw/ba-wrap.sh b/contrib/mingw/ba-wrap.sh deleted file mode 100755 index be73196659..0000000000 --- a/contrib/mingw/ba-wrap.sh +++ /dev/null @@ -1,19 +0,0 @@ -#! /bin/sh -source=$(dirname $0) -if [ "$source" = "." ]; then - source=$(pwd) -fi -echo -echo " DO NOT CLOSE DO NOT CLOSE" -echo -echo "Warning: this command window will automatically close." -echo -echo "Build output: $source/at-log.txt" -echo -$source/build-autotools.sh $* 2>&1 >> $source/at-log.txt -ec=$? -if [ $ec -ne 0 ]; then - echo "ERROR: code '$ec'. Press Any Key to continue" - read -fi -exit $ec |