diff options
| author | Sander Vrijders <sander.vrijders@intec.ugent.be> | 2016-06-14 15:09:30 +0200 |
|---|---|---|
| committer | Sander Vrijders <sander.vrijders@intec.ugent.be> | 2016-06-14 15:09:30 +0200 |
| commit | b3bf84b1c11ac66ab0806b2d1a89870bec22a86e (patch) | |
| tree | 52d1f46a5a8a775a036196ec2800d300214a9f5f /install_release.sh | |
| parent | fa62a94304bf794edb3a837acb29ebff0c5ab1aa (diff) | |
| download | ouroboros-b3bf84b1c11ac66ab0806b2d1a89870bec22a86e.tar.gz ouroboros-b3bf84b1c11ac66ab0806b2d1a89870bec22a86e.zip | |
build: Change release directory
The release build was being installed sandboxed. Now it is installed
system-wide.
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 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 |