blob: 854fbba140a796f4727d02cd7ec81806ebc3655c (
plain)
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
|