diff options
Diffstat (limited to 'deploy/build_common.sh')
| -rw-r--r-- | deploy/build_common.sh | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/deploy/build_common.sh b/deploy/build_common.sh index 97d0965..9cd03fd 100644 --- a/deploy/build_common.sh +++ b/deploy/build_common.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/bin/sh set -e @@ -34,7 +34,7 @@ EOF input_args() { [ -z "$1" ] && usage - while [[ $# -gt 0 ]]; do + while [ $# -gt 0 ]; do case $1 in -o) OUTDIR="$2" @@ -69,6 +69,6 @@ check_args() { mkdir "$OUTDIR" else # warning "$OUTDIR already exists, erasing it" - rm "$OUTDIR"/* + rm "$OUTDIR"/* || true fi }
\ No newline at end of file |