diff options
| author | Uros Majstorovic <majstor@majstor.org> | 2018-03-15 18:34:31 +0100 |
|---|---|---|
| committer | Uros Majstorovic <majstor@majstor.org> | 2018-03-15 18:34:31 +0100 |
| commit | 2e711a0a5cbaeec7d3d5a742f8d536311d5d9677 (patch) | |
| tree | a58084506592b55539828c6ad8fdec5a547f664c /code/ecp/platform.sh | |
| parent | 81a3176b689c546118be81565bcce16f47faae6b (diff) | |
fixed debug print; removed config.h
Diffstat (limited to 'code/ecp/platform.sh')
| -rwxr-xr-x | code/ecp/platform.sh | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/code/ecp/platform.sh b/code/ecp/platform.sh index b265bd7..854fbba 100755 --- a/code/ecp/platform.sh +++ b/code/ecp/platform.sh @@ -12,5 +12,4 @@ PLATFORM=$1 rm -f $BASEDIR/platform ln -sf ./$PLATFORM $BASEDIR/platform -ln -sf ./config_$PLATFORM.h $BASEDIR/config.h ln -sf ./Makefile.$PLATFORM $BASEDIR/Makefile.platform |