diff options
| author | dimitri staessens <dimitri.staessens@intec.ugent.be> | 2016-06-20 21:58:17 +0200 |
|---|---|---|
| committer | dimitri staessens <dimitri.staessens@intec.ugent.be> | 2016-06-20 21:58:17 +0200 |
| commit | 34f96731f5fb8ab8a1f7018366fc28fd041d73e2 (patch) | |
| tree | aff0b0ed3474c7cdb5f6ba7e62ca5e33ccedb814 /install_release.sh | |
| parent | 6270143e57306d11be5c02ee3c7857808583c0f5 (diff) | |
| parent | 550cfa775b048abe183c4fdcc8ada8476e562185 (diff) | |
| download | ouroboros-34f96731f5fb8ab8a1f7018366fc28fd041d73e2.tar.gz ouroboros-34f96731f5fb8ab8a1f7018366fc28fd041d73e2.zip | |
Merged in sandervrijders/ouroboros/be (pull request #134)
build: Change install directories and set correct permissions
Diffstat (limited to 'install_release.sh')
| -rwxr-xr-x | install_release.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/install_release.sh b/install_release.sh index cbba45ff..383c3f9b 100755 --- a/install_release.sh +++ b/install_release.sh @@ -4,9 +4,9 @@ ME=install_release if (($# == 1 )) then - PREFIX=`echo "$1"|sed -e "s,\/$,,"` + PREFIX=$1 else - PREFIX="/usr" + PREFIX="/" fi BUILDDIR=build |