diff options
Diffstat (limited to 'contrib/build-scripts/build-swi-linux.sh')
| -rwxr-xr-x | contrib/build-scripts/build-swi-linux.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/contrib/build-scripts/build-swi-linux.sh b/contrib/build-scripts/build-swi-linux.sh index 7b32d4d..239d292 100755 --- a/contrib/build-scripts/build-swi-linux.sh +++ b/contrib/build-scripts/build-swi-linux.sh @@ -11,7 +11,8 @@ ME=`basename $0` DIR="$( cd "$( dirname "$0" )" && pwd )" CPUARCH=`uname -m` #DEST_DIR="${DIR}/../prebuilt/linux-${CPUARCH}/gnu" -DEST_DIR="/home/sradomski/Desktop" +PLATFORM_ID=`${DIR}/platform-id-linux.sh` +DEST_DIR="${DIR}/../prebuilt/${PLATFORM_ID}" VERSION=`cat VERSION` if [ ! -f src/pl-main.c ]; then |