diff options
author | dimitri staessens <dimitri.staessens@intec.ugent.be> | 2016-06-28 10:26:47 +0200 |
---|---|---|
committer | dimitri staessens <dimitri.staessens@intec.ugent.be> | 2016-06-28 10:31:47 +0200 |
commit | e552ad819aa9ba007464f5dcd6e4aa466f2c4ed9 (patch) | |
tree | ad06a22d076c3981c8994166d1d9932a37f024d8 /compile_release.sh | |
parent | cffd94aae48dac005d820dd667498bbbb09ab117 (diff) | |
download | ouroboros-e552ad819aa9ba007464f5dcd6e4aa466f2c4ed9.tar.gz ouroboros-e552ad819aa9ba007464f5dcd6e4aa466f2c4ed9.zip |
build: addresses comments on cffd94a
Diffstat (limited to 'compile_release.sh')
-rwxr-xr-x | compile_release.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compile_release.sh b/compile_release.sh index 0b1c1a96..58a16e52 100755 --- a/compile_release.sh +++ b/compile_release.sh @@ -6,7 +6,7 @@ if (($# == 1 )) then PREFIX=`echo "$1"|sed -e "s,\/$,,"` else - PREFIX="/" + PREFIX="" fi BUILDDIR=build |