diff options
| author | Sander Vrijders <sander.vrijders@ugent.be> | 2017-10-30 16:18:59 +0100 |
|---|---|---|
| committer | Dimitri Staessens <dimitri.staessens@ugent.be> | 2017-10-30 16:29:23 +0100 |
| commit | f5c60ee47c097d7408470e4be6182bf9ee684e84 (patch) | |
| tree | c2b47fdff985bf1d755b06467d22bbcaa0484ace /compile_debug.sh | |
| parent | 81cc401a4ef05a6bc5bcbda5ad27f8a60706aa02 (diff) | |
| download | ouroboros-f5c60ee47c097d7408470e4be6182bf9ee684e84.tar.gz ouroboros-f5c60ee47c097d7408470e4be6182bf9ee684e84.zip | |
build: Improve bash scripts
This improves the bash scripts so they are less error prone. Mistakes
were found using the parser on shellcheck.net
Signed-off-by: Sander Vrijders <sander.vrijders@ugent.be>
Signed-off-by: Dimitri Staessens <dimitri.staessens@ugent.be>
Diffstat (limited to 'compile_debug.sh')
| -rwxr-xr-x | compile_debug.sh | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/compile_debug.sh b/compile_debug.sh index 3ecab3c0..3ea31882 100755 --- a/compile_debug.sh +++ b/compile_debug.sh @@ -4,7 +4,7 @@ ME=compile_debug if (($# == 1 )) then - PREFIX=`echo "$1"|sed -e "s,\/$,,"` + PREFIX=${1/%\//} else PREFIX="/usr/local/ouroboros" 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: Debug directory will be '$DEBUGDIR'" if test -n "$DEBUGDIR" ; then @@ -28,7 +28,7 @@ if test -n "$DEBUGDIR" ; then echo "$ME: Cannot create directory '$DEBUGDIR'" } fi -cd $DEBUGDIR +cd $DEBUGDIR || exit 1 cmake -DCMAKE_INSTALL_PREFIX=$PREFIX -DCMAKE_BUILD_TYPE=Debug ../.. |