diff options
| author | dimitri staessens <dimitri.staessens@intec.ugent.be> | 2016-06-27 20:40:05 +0200 |
|---|---|---|
| committer | dimitri staessens <dimitri.staessens@intec.ugent.be> | 2016-06-27 21:01:22 +0200 |
| commit | cffd94aae48dac005d820dd667498bbbb09ab117 (patch) | |
| tree | 2e75316289301a5b78b2b9f9f08dd04e6120f8d9 /install_release.sh | |
| parent | 25b12e206d22125b7d403d1339738f5bb4a468b5 (diff) | |
| download | ouroboros-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 'install_release.sh')
| -rwxr-xr-x | install_release.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/install_release.sh b/install_release.sh index f5d08bb5..d2de5526 100755 --- a/install_release.sh +++ b/install_release.sh @@ -6,7 +6,7 @@ if (($# == 1 )) then PREFIX=`echo "$1"|sed -e "s,\/$,,"` else - PREFIX="" + PREFIX="/" fi BUILDDIR=build |