1 files changed, 14 insertions, 0 deletions
diff --git a/code/platform b/code/platform
new file mode 100755
index 0000000..545b475
--- /dev/null
+++ b/code/platform
@@ -0,0 +1,14 @@
+#!/bin/sh
+#
+
+BASEDIR=$(dirname $0)
+
+if [ -z $1 ]; then
+  echo usage $0 "<platform>"
+  exit 1
+fi
+
+PLATFORM=$1
+
+ln -sf $BASEDIR/Makefile.$PLATFORM $BASEDIR/Makefile.platform
+ln -sf $BASEDIR/config_$PLATFORM.h $BASEDIR/config.h
+\ No newline at end of file