chiark / gitweb /
Mirroring: Honour DGIT_DRS_DEBUG=0
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 11 Jul 2015 18:13:36 +0000 (19:13 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 11 Jul 2015 18:31:19 +0000 (19:31 +0100)
infra/dgit-mirror-rsync

index 0fcc5f1..47142ee 100755 (executable)
@@ -26,7 +26,7 @@ set -o pipefail
 shopt -s nullglob
 
 case "$DGIT_DRS_DEBUG" in
-''|0!1)                ;;
+''|0|1)                ;;
 *)             set -x  ;;
 esac