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