diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2015-07-11 19:13:36 +0100 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2015-07-11 19:31:19 +0100 |
commit | 7184a61e0bf4b097711965eee629541f54ebf4ec (patch) | |
tree | 3691e9eecddec754a71cbe905c680b612b65bf39 | |
parent | 1a404d721066ea64a938b2e26ec397f458f74bb8 (diff) |
Mirroring: Honour DGIT_DRS_DEBUG=0
-rwxr-xr-x | infra/dgit-mirror-rsync | 2 |
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 |