From c0a0ce1bad908f3fedd4f39cef3fe24263c90c08 Mon Sep 17 00:00:00 2001
From: Erich Eckner <git@eckner.net>
Date: Fri, 9 Jun 2017 06:55:12 +0200
Subject: makekernel: ignore errors of "git fetch"

---
 makekernel.in | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/makekernel.in b/makekernel.in
index e2dfb02..4176aae 100644
--- a/makekernel.in
+++ b/makekernel.in
@@ -112,7 +112,7 @@ if ${showVersion}
 then
   if ${hasGit}
   then
-    git -C "${kernelDir}" fetch --all --tags &> /dev/null
+    git -C "${kernelDir}" fetch --all --tags &> /dev/null || true
     git -C "${kernelDir}" tag --list | \
       grep '^v[0-9.]\+$' | \
       sed 's|^v||' | \
-- 
cgit v1.2.3-54-g00ecf