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
 |