From 5cd610a07468137066ea4daa5176c3e7045113b0 Mon Sep 17 00:00:00 2001
From: Uros Majstorovic <majstor@majstor.org>
Date: Wed, 5 Aug 2020 03:38:22 +0200
Subject: ecp moved to root; fixed utils and tests

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

(limited to 'code/ecp/platform.sh')

diff --git a/code/ecp/platform.sh b/code/ecp/platform.sh
deleted file mode 100755
index 854fbba..0000000
--- a/code/ecp/platform.sh
+++ /dev/null
@@ -1,15 +0,0 @@
-#!/bin/sh
-#
-
-BASEDIR=$(dirname $0)
-
-if [ -z $1 ]; then
-  echo usage $0 "<platform>"
-  exit 1
-fi
-
-PLATFORM=$1
-
-rm -f $BASEDIR/platform
-ln -sf ./$PLATFORM $BASEDIR/platform
-ln -sf ./Makefile.$PLATFORM $BASEDIR/Makefile.platform
-- 
cgit v1.2.3