diff options
| author | Patrick McDermott <patrick.mcdermott@libiquity.com> | 2019-04-13 12:14:35 (EDT) |
|---|---|---|
| committer | Patrick McDermott <patrick.mcdermott@libiquity.com> | 2019-04-13 12:16:12 (EDT) |
| commit | 2945ec99ed56df88acb0610a333f2035d5588ae9 (patch) | |
| tree | dfe025bfaeb5818f8ea250e8e2cf8238fa5c0f8b | |
| parent | dad62a66102a5f35968c694200cad3a20da14dce (diff) | |
update_feeds(): Let one rmdir fail without errors
| -rw-r--r-- | src/index.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/index.sh b/src/index.sh index df6d1ff..04283fb 100644 --- a/src/index.sh +++ b/src/index.sh @@ -212,7 +212,7 @@ update_feeds() else rm -f "${suite}/Manifest~" "${suite}/Manifest" rmdir "${suite}" - rmdir "${suite%/*}" + rmdir "${suite%/*}" 2>/dev/null || : fi done |