From dc495b40a9210b33d59949a739c875c14e791d66 Mon Sep 17 00:00:00 2001
From: Erich Eckner <git@eckner.net>
Date: Sat, 8 Oct 2016 09:07:13 +0200
Subject: ignore Proxy if unavailable

---
 makekernel.in | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/makekernel.in b/makekernel.in
index 99e375c..dca67b6 100644
--- a/makekernel.in
+++ b/makekernel.in
@@ -17,8 +17,8 @@ usage () {
 }
 
 dlExVer () {
-  wget -nd "${proxyPrefix}$1.xz"
-  wget -nd "${proxyPrefix}$1.sign"
+  wget -nd "${proxyPrefix}$1.xz" || wget -nd "$1.xz"
+  wget -nd "${proxyPrefix}$1.sign" || wget -nd "$1.sign"
   xz -d "$2.xz"
   if ! gpg --verify $2{.sign,}
   then
-- 
cgit v1.2.3-54-g00ecf