summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authortv <tv@krebsco.de>2017-12-15 04:37:24 +0100
committertv <tv@krebsco.de>2017-12-15 04:37:24 +0100
commit399c2e25188104387bc8e9723f991955fe76806d (patch)
tree1de3808b20b5f607a70dd6c4c087f36dbbbd4a94
parent6605d590c87e6d9f3e8e1a86807d2bbad9ff7c52 (diff)
main: fail -> abort
-rwxr-xr-xbin/populate6
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