diff options
| author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2017-01-06 19:49:23 +0000 |
|---|---|---|
| committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2017-01-06 19:49:23 +0000 |
| commit | a5ab9e488522b8fb74a6eadc4a7acf9199e782c4 (patch) | |
| tree | ef0fc5429cc771663f1066d30707b9943308c42d /infra | |
| parent | 20d3465b51a39337e1117868f80fbc074d3f6b85 (diff) | |
Shell bug: avoid local=$(....) as it defeats set -e
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Diffstat (limited to 'infra')
| -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 0d29ffb..9346489 100755 --- a/infra/dgit-mirror-rsync +++ b/infra/dgit-mirror-rsync @@ -91,7 +91,7 @@ reinvoke () { check-package-mirrorable () { local repo=$repos/$package.git - local mode=$(stat -c%a "$repo") + local mode; mode=$(stat -c%a "$repo") case $mode in *5) return 0 ;; *0) return 1 ;; |