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