12345678910111213141516171819 |
- #! /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.
|