summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorIan Jackson <ijackson@chiark.greenend.org.uk>2015-07-11 19:13:36 +0100
committerIan Jackson <ijackson@chiark.greenend.org.uk>2015-07-11 19:31:19 +0100
commit7184a61e0bf4b097711965eee629541f54ebf4ec (patch)
tree3691e9eecddec754a71cbe905c680b612b65bf39
parent1a404d721066ea64a938b2e26ec397f458f74bb8 (diff)
Mirroring: Honour DGIT_DRS_DEBUG=0
-rwxr-xr-xinfra/dgit-mirror-rsync2
1 files changed, 1 insertions, 1 deletions
diff --git a/infra/dgit-mirror-rsync b/infra/dgit-mirror-rsync
index 0fcc5f1..47142ee 100755
--- a/infra/dgit-mirror-rsync
+++ b/infra/dgit-mirror-rsync
@@ -26,7 +26,7 @@ set -o pipefail
shopt -s nullglob
case "$DGIT_DRS_DEBUG" in
-''|0!1) ;;
+''|0|1) ;;
*) set -x ;;
esac