diff options
author | tv <tv@krebsco.de> | 2017-12-15 04:37:24 +0100 |
---|---|---|
committer | tv <tv@krebsco.de> | 2017-12-15 04:37:24 +0100 |
commit | 399c2e25188104387bc8e9723f991955fe76806d (patch) | |
tree | 1de3808b20b5f607a70dd6c4c087f36dbbbd4a94 | |
parent | 6605d590c87e6d9f3e8e1a86807d2bbad9ff7c52 (diff) |
main: fail -> abort
-rwxr-xr-x | bin/populate | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/bin/populate b/bin/populate index 78d4b78..8163ccd 100755 --- a/bin/populate +++ b/bin/populate @@ -12,11 +12,11 @@ main() {( target_spec= - fail=true + abort=false error() { echo "$basename: error: $1" >&2 - fail=false + abort=true } for arg; do @@ -41,7 +41,7 @@ main() {( error 'no target specified' fi - if test "$fail" != true; then + if test "$abort" = true; then exit 11 fi |