make it official
authormirabilos <t.glaser@tarent.de>
Fri, 26 Jul 2019 23:39:43 +0000 (01:39 +0200)
committermirabilos <mirabilos@evolvis.org>
Fri, 26 Jul 2019 23:39:43 +0000 (01:39 +0200)
Dist.sh

diff --git a/Dist.sh b/Dist.sh
index 53917aa..fa87621 100644 (file)
--- a/Dist.sh
+++ b/Dist.sh
@@ -12,7 +12,7 @@ if [[ -n $x ]]; then
        print -ru2 -- "N: git status info follows"
        print -r -- "$x" | sed 's/^/N:  /' >&2
        print -ru2 -- "E: source tree not clean"
-:||    exit 1
+       exit 1
 fi
 set -x