chiark / gitweb /
~ianmdlvl / dgit.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 1a404d7)
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 patch | blob | history

diff --git a/infra/dgit-mirror-rsync b/infra/dgit-mirror-rsync
index 0fcc5f1943a019a3f28c250f657fa25dc7d9ba28..47142ee296beecf4eb93c57e7cf92687dc11f01a 100755 (executable)
--- 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
 
Unnamed repository; edit this file 'description' to name the repository.