summaryrefslogtreecommitdiff
path: root/compile_release.sh
diff options
context:
space:
mode:
authordimitri staessens <dimitri.staessens@intec.ugent.be>2016-06-27 20:40:05 +0200
committerdimitri staessens <dimitri.staessens@intec.ugent.be>2016-06-27 21:01:22 +0200
commitcffd94aae48dac005d820dd667498bbbb09ab117 (patch)
tree2e75316289301a5b78b2b9f9f08dd04e6120f8d9 /compile_release.sh
parent25b12e206d22125b7d403d1339738f5bb4a468b5 (diff)
downloadouroboros-cffd94aae48dac005d820dd667498bbbb09ab117.tar.gz
ouroboros-cffd94aae48dac005d820dd667498bbbb09ab117.zip
build: correct sandboxing
paths cannot start with "/" or PREFIX will be omitted. PREFIX must be set before the project() call.
Diffstat (limited to 'compile_release.sh')
-rwxr-xr-xcompile_release.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/compile_release.sh b/compile_release.sh
index 58a16e52..0b1c1a96 100755
--- a/compile_release.sh
+++ b/compile_release.sh
@@ -6,7 +6,7 @@ if (($# == 1 ))
then
PREFIX=`echo "$1"|sed -e "s,\/$,,"`
else
- PREFIX=""
+ PREFIX="/"
fi
BUILDDIR=build