summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSander Vrijders <sander.vrijders@intec.ugent.be>2016-06-14 15:09:30 +0200
committerSander Vrijders <sander.vrijders@intec.ugent.be>2016-06-14 15:09:30 +0200
commitb3bf84b1c11ac66ab0806b2d1a89870bec22a86e (patch)
tree52d1f46a5a8a775a036196ec2800d300214a9f5f
parentfa62a94304bf794edb3a837acb29ebff0c5ab1aa (diff)
downloadouroboros-b3bf84b1c11ac66ab0806b2d1a89870bec22a86e.tar.gz
ouroboros-b3bf84b1c11ac66ab0806b2d1a89870bec22a86e.zip
build: Change release directory
The release build was being installed sandboxed. Now it is installed system-wide.
-rwxr-xr-xinstall_release.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/install_release.sh b/install_release.sh
index 8884d65a..cbba45ff 100755
--- a/install_release.sh
+++ b/install_release.sh
@@ -6,7 +6,7 @@ if (($# == 1 ))
then
PREFIX=`echo "$1"|sed -e "s,\/$,,"`
else
- PREFIX="/usr/local/ouroboros"
+ PREFIX="/usr"
fi
BUILDDIR=build