diff --git a/src/tools/eaf32bit_patch.sh b/src/tools/eaf32bit_patch.sh new file mode 100755 index 0000000000..b7497d51d1 --- /dev/null +++ b/src/tools/eaf32bit_patch.sh @@ -0,0 +1,5 @@ +#!/usr/bin/env bash +rm -f eaf32bit.patch +wget -O - https://github.com/GlobalArrays/ga/commit/2554b4431087c43f411f3e59426b83f6e9c48bd1.patch | sed -e 's/ a\/pario/ '$1'\/pario/' | sed -e 's/ b\/pario/ '$1'\/pario/' > eaf32bit.patch +patch -p0 -s -N < eaf32bit.patch +echo eaf32bit.patch applied diff --git a/src/tools/get-tools-github b/src/tools/get-tools-github index 07ccc52280..dd3a4acc8f 100755 --- a/src/tools/get-tools-github +++ b/src/tools/get-tools-github @@ -203,8 +203,9 @@ GOTMINGW64=` $CC -dM -E - /dev/null |grep MINGW64|cut -c21 ` if [[ -d "ga-5.9" ]]; then if [[ ! -f "ga-5.9/patched59" ]]; then ./gasparse_patch.sh $GA_DIR + ./eaf32bit_patch.sh $GA_DIR echo patched - touch ga-59/patched59 + touch ga-5.9/patched59 fi fi #if [ ! -z "$GOTMINGW64" ]