diff options
| author | Uros Majstorovic <majstor@majstor.org> | 2018-01-17 18:42:47 +0100 |
|---|---|---|
| committer | Uros Majstorovic <majstor@majstor.org> | 2018-01-17 18:42:47 +0100 |
| commit | 1425f72c38fe23a9d3fcda583a7da1e7315acfc3 (patch) | |
| tree | 2731c1f5b9e0c76e0a0775f6eddf81fd90b0817d /code/platform | |
| parent | 97a7e6617f8ad06b7bff495603200b853766ecc8 (diff) | |
build system improved
Diffstat (limited to 'code/platform')
| -rwxr-xr-x | code/platform | 14 |
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 |