diff options
| author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2015-07-11 17:39:43 +0100 |
|---|---|---|
| committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2015-07-11 19:31:19 +0100 |
| commit | 86a8ff1a0f02829b07bf7cd2fdd198ce612b37d4 (patch) | |
| tree | 06a8c1da59df13e26d5156f32dbd6c8c993a95f2 /infra | |
| parent | 37bf4bc96cb4d67b9e22177e77c6d99283354e66 (diff) | |
Mirroring: Tolerate missing .a file when tidying mirror
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 9afd39f..2858047 100755 --- a/infra/dgit-mirror-rsync +++ b/infra/dgit-mirror-rsync @@ -107,7 +107,7 @@ lock-and-process () { attempt () { exec >"$queue/$package.err" 2>&1 if actually; then - rm "$queue/$package.a" + rm -f "$queue/$package.a" mv -f "$queue/$package.err" "$queue/$package.log" rm "$queue/$package.lock" else |