diff options
| author | Haochen Tong <i@hexchain.org> | 2022-02-02 21:51:59 +0800 |
|---|---|---|
| committer | Levente Polyak <anthraxx@archlinux.org> | 2022-04-06 00:11:16 +0200 |
| commit | 82cb6756aadd6f03cbefd46132675068a47efdae (patch) | |
| tree | 512f02f3f3a5b0c62b3b0bea6bfeb961452a3f3a /Makefile | |
| parent | 74164e348b2c57dd98bfe4245540f6df67fb1c67 (diff) | |
| download | devtools-82cb6756aadd6f03cbefd46132675068a47efdae.tar.xz | |
sogrep: fail if links database cannot be retrieved
If the links database (for some reason) does not exist on the mirror,
curl will save the html 404 page as ${repo}.links.tar.gz in the cache,
and sogrep will later fail with a decompression error from bsdtar.
This patch adds -f to curl so it doesn't save the error page, and exit
after displaying an error in such case.
Fixes !88
Signed-off-by: Haochen Tong <i@hexchain.org>
Signed-off-by: Levente Polyak <anthraxx@archlinux.org>
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions