diff --git a/src/tools/gamalloc_patch.sh b/src/tools/gamalloc_patch.sh new file mode 100755 index 0000000000..e013a44ace --- /dev/null +++ b/src/tools/gamalloc_patch.sh @@ -0,0 +1,31 @@ +#!/usr/bin/env bash +rm -f gamalloc.patch +cat > gamlloc.patch < /dev/null |grep MINGW64|cut -c21 ` +if [[ -d "ga-5.8.2" ]]; then + if [[ ! -f "ga-5.8.2/patched581" ]]; then + ./gamalloc_patch.sh $GA_DIR + echo patched + touch ga-5.8.2/patched581 + fi +fi #if [ ! -z "$GOTMINGW64" ] #then #echo "CC" $CC