diff options
Diffstat (limited to 'scripts/bootstrap/buildenv.sh')
| -rwxr-xr-x | scripts/bootstrap/buildenv.sh | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/scripts/bootstrap/buildenv.sh b/scripts/bootstrap/buildenv.sh index c2b30facf1..63d0897ba7 100755 --- a/scripts/bootstrap/buildenv.sh +++ b/scripts/bootstrap/buildenv.sh @@ -36,6 +36,13 @@ if [ "${MACHINE_TYPE}" = 'arm' -o "${MACHINE_TYPE}" = 'armv7l' -o "${MACHINE_TYP MACHINE_IS_ARM='yes' fi +# Extension for executables. +EXE_EXT="" +case "${PLATFORM}" in +msys*|mingw*) + EXE_EXT=".exe" +esac + ATEXIT_="" function atexit() { ATEXIT_="$1; ${ATEXIT_}" |