diff options
Diffstat (limited to 'service/do.sh')
| -rw-r--r-- | service/do.sh | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/service/do.sh b/service/do.sh index fd3b8b0..d0ac5ed 100644 --- a/service/do.sh +++ b/service/do.sh @@ -55,16 +55,17 @@ elif [ "$1" == "test" ]; then SRCDIR="$PWD/src" DATADIR="$PWD/container/data" bash "tests/test.sh" ${@:2} elif [ "$1" == "make" ]; then # build a normal version - cd src + pushd src if [ -e ".safebuild" ]; then make clean rm ".safebuild" fi make + popd elif [ "$1" == "make-safe" ]; then # build a 'safe' version with flagstore patches - cd src + pushd src make clean touch ".safebuild" @@ -78,6 +79,7 @@ elif [ "$1" == "make-safe" ]; then PREFIX="safe_" make rm safe_* + popd else echo "USAGE: do.sh (compose) [args..]" echo "EXAMPLES:" |