From 9d775a05562d6166a5142d9820ffa7c26de55d6c Mon Sep 17 00:00:00 2001
From: Uros Majstorovic <majstor@majstor.org>
Date: Wed, 2 Feb 2022 06:21:40 +0100
Subject: build fix

---
 ecp/platform.sh | 16 ----------------
 1 file changed, 16 deletions(-)
 delete mode 100755 ecp/platform.sh

(limited to 'ecp/platform.sh')

diff --git a/ecp/platform.sh b/ecp/platform.sh
deleted file mode 100755
index 7b95623..0000000
--- a/ecp/platform.sh
+++ /dev/null
@@ -1,16 +0,0 @@
-#!/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
-- 
cgit v1.2.3