summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xecp/platform.sh16
1 files changed, 16 insertions, 0 deletions
diff --git a/ecp/platform.sh b/ecp/platform.sh
new file mode 100755
index 0000000..7b95623
--- /dev/null
+++ b/ecp/platform.sh
@@ -0,0 +1,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