diff options
Diffstat (limited to 'src/libs/3rdparty/winpty/misc/build32.sh')
| -rw-r--r-- | src/libs/3rdparty/winpty/misc/build32.sh | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/src/libs/3rdparty/winpty/misc/build32.sh b/src/libs/3rdparty/winpty/misc/build32.sh new file mode 100644 index 0000000000..162993ce33 --- /dev/null +++ b/src/libs/3rdparty/winpty/misc/build32.sh @@ -0,0 +1,9 @@ +#!/bin/bash +set -e +name=$1 +name=${name%.} +name=${name%.cc} +name=${name%.exe} +echo Compiling $name.cc to $name.exe +i686-w64-mingw32-g++.exe -static -std=c++11 $name.cc -o $name.exe +i686-w64-mingw32-strip $name.exe |