|
@@ -20,14 +20,17 @@ fi
|
|
|
|
|
|
iswin1=`echo $GCC4TIHOST | grep -E -i "msys|mingw|cygwin"`
|
|
|
iswin2=`uname -a | grep -E -i "msys|mingw|cygwin"`
|
|
|
-if [ "x$iswin1" = "x" -a "x$iswin2" = "x" ]; then
|
|
|
|
|
|
echo Installing GCC4TI patcher...
|
|
|
ORG_PWD=$PWD/..
|
|
|
cd "$ORG_PWD/sources/patcher/src/"
|
|
|
${make} -e || exit 1
|
|
|
${install} -d "$PREFIX_GCC4TI/bin" || exit 1
|
|
|
+if [ "x$iswin1" = "x" -a "x$iswin2" = "x" ]; then
|
|
|
${install} patcher "$PREFIX_GCC4TI/bin" || exit 1
|
|
|
+else
|
|
|
+${install} patcher.exe "$PREFIX_GCC4TI/bin" || exit 1
|
|
|
+fi
|
|
|
${make} clean
|
|
|
|
|
|
cd "$ORG_PWD/scripts"
|