1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
#!/bin/sh # BASEDIR=$(dirname $0) if [ -z $1 ]; then echo usage $0 "<platform>" exit 1 fi PLATFORM=$1 rm -f $BASEDIR/platform ln -sf ./$PLATFORM $BASEDIR/platform ln -sf ./Makefile.$PLATFORM $BASEDIR/Makefile.platform