#! /bin/sh # # Compile and install the GCC4TI patcher # isbsd=`uname | grep "BSD"` if [ "$isbsd" = "" ]; then #Assume GNU make make=make else make=gmake fi echo Installing GCC4TI patcher... cd ../sources/patcher/src/ ${make} -e cp patcher $TIGCC/bin ${make} clean echo Done.