From 8b52458966bea422a52cf58fdfeb4ed149005226 Mon Sep 17 00:00:00 2001
From: lekshmideepu <lekshmideepu@users.noreply.github.com>
Date: Wed, 3 Jun 2015 16:34:06 +0200
Subject: [PATCH] Update build.sh
---
build.sh | 6 ++++--
1 file changed, 4 insertions(+), 2 deletions(-)
diff --git a/build.sh b/build.sh
index 35ce083..c329a81 100644
--- a/build.sh
+++ b/build.sh
@@ -18,15 +18,17 @@ fi
if [ "$xInSource" = "InSource+" ] ; then
CONFIGURE="./configure"
else
- MUSIC_VPATH=$WORKSPACE/build
+ MUSIC_VPATH=build
mkdir "$MUSIC_VPATH"
cd "$MUSIC_VPATH"
CONFIGURE="../configure"
fi
-MUSIC_RESULT=$WORKSPACE/result
+MUSIC_RESULT=result
mkdir "$MUSIC_RESULT"
+MUSIC_RESULT=$(readlink -f $MUSIC_RESULT)
+
$CONFIGURE \
--prefix="$MUSIC_RESULT" \
$CONFIGURE_MPI
--
GitLab