diff options
| author | Sander Vrijders <sander.vrijders@intec.ugent.be> | 2016-06-28 10:37:12 +0200 |
|---|---|---|
| committer | Sander Vrijders <sander.vrijders@intec.ugent.be> | 2016-06-28 10:37:12 +0200 |
| commit | 1c3fe32d18d50da2e9817289d7a298bb5b9a0643 (patch) | |
| tree | ad06a22d076c3981c8994166d1d9932a37f024d8 /install_debug.sh | |
| parent | 25b12e206d22125b7d403d1339738f5bb4a468b5 (diff) | |
| parent | e552ad819aa9ba007464f5dcd6e4aa466f2c4ed9 (diff) | |
| download | ouroboros-1c3fe32d18d50da2e9817289d7a298bb5b9a0643.tar.gz ouroboros-1c3fe32d18d50da2e9817289d7a298bb5b9a0643.zip | |
Merged in dstaesse/ouroboros/be-buildfix (pull request #141)
build: correct sandboxing
Diffstat (limited to 'install_debug.sh')
| -rwxr-xr-x | install_debug.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/install_debug.sh b/install_debug.sh index 10e50706..ef6b8a30 100755 --- a/install_debug.sh +++ b/install_debug.sh @@ -6,7 +6,7 @@ if (($# == 1 )) then PREFIX=`echo "$1"|sed -e "s,\/$,,"` else - PREFIX="/usr/local/ouroboros/" + PREFIX="/usr/local/ouroboros" fi BUILDDIR=build |