diff options
author | Uros Majstorovic <majstor@majstor.org> | 2022-02-02 06:21:40 +0100 |
---|---|---|
committer | Uros Majstorovic <majstor@majstor.org> | 2022-02-02 06:21:40 +0100 |
commit | 9d775a05562d6166a5142d9820ffa7c26de55d6c (patch) | |
tree | 360d399b53449952fea201fb58b832a2a0220d2b /ecp/platform.sh | |
parent | cd846d601227db0047c35b551858d62d6b794127 (diff) |
build fix
Diffstat (limited to 'ecp/platform.sh')
-rwxr-xr-x | ecp/platform.sh | 16 |
1 files changed, 0 insertions, 16 deletions
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 |