diff options
| author | Bradley Sepos <[email protected]> | 2019-03-30 11:17:28 -0400 |
|---|---|---|
| committer | Bradley Sepos <[email protected]> | 2019-03-31 18:10:33 -0400 |
| commit | bfc4cba958c743bf3d404a4976ad584249fb1dc1 (patch) | |
| tree | 6580b53ccf390b0fb8cae8f8d1cb8babbef8b440 /scripts | |
| parent | e7edbc38cad72106c920dad182fee701c07fc9e9 (diff) | |
scripts: Update to mingw-w64-build 6.0.1.
Fixes an issue with GDB makeinfo path.
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/mingw-w64-build | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/scripts/mingw-w64-build b/scripts/mingw-w64-build index d72fc843d..0ff6a00c0 100755 --- a/scripts/mingw-w64-build +++ b/scripts/mingw-w64-build @@ -121,7 +121,7 @@ function mingw-w64-build { # mingw-w64-build [args] $TARGET_PARAM $TARGET_DIR # internal vars local NAME VERSION SELF SELF_NAME HELP NAME="mingw-w64-build" - VERSION="6.0.0" + VERSION="6.0.1" SELF="${BASH_SOURCE[0]}" SELF_NAME=$(basename "${SELF}") HELP="\ @@ -615,7 +615,7 @@ default install-dir: ${HOME}/toolchains/mingw-w64-${MINGW_W64_VER}-gcc-${GCC_VER echo '#!/bin/sh' > makeinfo echo 'echo "makeinfo (GNU texinfo) 5.2"' >> makeinfo chmod a+x makeinfo - "${SOURCE_DIR}/gdb/gdb-${GDB_VER}/configure" --build="${SYS_TYPE}" --host="${TARGET}" --prefix="${MINGW_W64_DIR}" --disable-shared --enable-static MAKEINFO="${SOURCE_DIR}/mingw-w64/mingw-w64-v${MINGW_W64_VER}/mingw-w64-libraries/gdb/makeinfo" >> "${BUILD_DIR}/gdb.log" 2>&1 || return 1 + "${SOURCE_DIR}/gdb/gdb-${GDB_VER}/configure" --build="${SYS_TYPE}" --host="${TARGET}" --prefix="${MINGW_W64_DIR}" --disable-shared --enable-static MAKEINFO="${BUILD_DIR}/gdb/makeinfo" >> "${BUILD_DIR}/gdb.log" 2>&1 || return 1 make -j "${CPU_COUNT}" >> "${BUILD_DIR}/gdb.log" 2>&1 || return 1 make install >> "${BUILD_DIR}/gdb.log" 2>&1 || return 1 fi |