summaryrefslogtreecommitdiff
path: root/compile_release.sh
diff options
context:
space:
mode:
authorSander Vrijders <sander.vrijders@intec.ugent.be>2016-06-27 12:03:31 +0200
committerSander Vrijders <sander.vrijders@intec.ugent.be>2016-06-27 12:03:31 +0200
commit80765f1d6ea16892224be8da954e5b0a4c53303b (patch)
tree8d48f58b2c3590d5f5f8d7d2d46202ff945bf3cf /compile_release.sh
parentb13d60ac083195af6caee475fb36844c5177a0cf (diff)
downloadouroboros-80765f1d6ea16892224be8da954e5b0a4c53303b.tar.gz
ouroboros-80765f1d6ea16892224be8da954e5b0a4c53303b.zip
build: Fix installation prefix
The installation prefix was taking a trailing backslash, while it is common not to do so. Fixed it so that any trailing backslash is removed by the compilation and installation scripts.
Diffstat (limited to 'compile_release.sh')
-rwxr-xr-xcompile_release.sh4
1 files changed, 2 insertions, 2 deletions
diff --git a/compile_release.sh b/compile_release.sh
index d2400ec2..58a16e52 100755
--- a/compile_release.sh
+++ b/compile_release.sh
@@ -4,9 +4,9 @@ ME=compile_release
if (($# == 1 ))
then
- PREFIX=$1
+ PREFIX=`echo "$1"|sed -e "s,\/$,,"`
else
- PREFIX="/"
+ PREFIX=""
fi
BUILDDIR=build