diff options
Diffstat (limited to 'compile_release.sh')
| -rwxr-xr-x | compile_release.sh | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/compile_release.sh b/compile_release.sh index e7e65ecc..a3b7dc2a 100755 --- a/compile_release.sh +++ b/compile_release.sh @@ -4,7 +4,7 @@ ME=compile_release if (($# == 1 )) then - PREFIX=`echo "$1"|sed -e "s,\/$,,"` + PREFIX=${1/%\//} else PREFIX="" fi @@ -20,7 +20,7 @@ if test -n "$BUILDDIR" ; then echo "$ME: Cannot create directory '$BUILDDIR'" } fi -cd $BUILDDIR +cd $BUILDDIR || exit 1 echo "$ME: Release directory will be '$RELEASEDIR'" if test -n "$RELEASEDIR" ; then @@ -28,7 +28,7 @@ if test -n "$RELEASEDIR" ; then echo "$ME: Cannot create directory '$RELEASEDIR'" } fi -cd $RELEASEDIR +cd $RELEASEDIR || exit 1 cmake -DCMAKE_INSTALL_PREFIX=$PREFIX -DCMAKE_BUILD_TYPE=Release ../.. |