From 283449db457f83d2abfdc788b5ef010bb40ef484 Mon Sep 17 00:00:00 2001 From: Tony Theodore Date: Sun, 8 Sep 2013 00:07:59 +1000 Subject: [PATCH] Makefile: don't exit on failed download (failed checksum will exit) --- Makefile | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 085d9e89..8a9d9e3e 100644 --- a/Makefile +++ b/Makefile @@ -83,7 +83,10 @@ DOWNLOAD_PKG_ARCHIVE = \ | gzip -d | gzip -9n, \ ) \ > '$(PKG_DIR)/$($(1)_FILE)' || \ - ( echo 'Download failed!'; rm -f '$(PKG_DIR)/$($(1)_FILE)'; exit 1; ) + ( echo; \ + echo 'Download failed!'; \ + echo; \ + rm -f '$(PKG_DIR)/$($(1)_FILE)'; ) ifeq ($(IGNORE_SETTINGS),yes) $(info [ignore settings.mk])