diff options
| author | Evgeny Zinoviev <me@ch1p.io> | 2024-10-22 20:12:42 +0000 |
|---|---|---|
| committer | Evgeny Zinoviev <me@ch1p.io> | 2024-10-22 20:12:42 +0000 |
| commit | 7731cfb16122ac03c9fcd59cc525731cb293e198 (patch) | |
| tree | c729c215d09d817e99aa282d5e988c07ad3b5848 /deploy/build_common.sh | |
| parent | 44982d22c9265e7022a97191e1f0b5c5e2332255 (diff) | |
deploy: use /bin/sh, support freebsd
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 |