diff options
| author | dimitri staessens <dimitri.staessens@intec.ugent.be> | 2016-06-14 15:13:29 +0200 |
|---|---|---|
| committer | dimitri staessens <dimitri.staessens@intec.ugent.be> | 2016-06-14 15:13:29 +0200 |
| commit | af2ab9b56fb4b541abd067c9a6e2b3f62a4c4aab (patch) | |
| tree | 52d1f46a5a8a775a036196ec2800d300214a9f5f /install_release.sh | |
| parent | 1a3b2987f2948d63b3febebbf00d2412de8d739a (diff) | |
| parent | b3bf84b1c11ac66ab0806b2d1a89870bec22a86e (diff) | |
| download | ouroboros-af2ab9b56fb4b541abd067c9a6e2b3f62a4c4aab.tar.gz ouroboros-af2ab9b56fb4b541abd067c9a6e2b3f62a4c4aab.zip | |
Merged in sandervrijders/ouroboros/be-llc (pull request #124)
Be llc
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 |