From ebcc701315efbaf4523e95103e48fc5b8d9fcae3 Mon Sep 17 00:00:00 2001
From: Henry Weller <http://cfd.direct>
Date: Fri, 23 Oct 2015 17:32:18 +0100
Subject: [PATCH] makeGcc: Ignore problems with makeinfo

---
 makeGcc | 1 +
 1 file changed, 1 insertion(+)

diff --git a/makeGcc b/makeGcc
index c99c72f..c2b5cdd 100755
--- a/makeGcc
+++ b/makeGcc
@@ -281,6 +281,7 @@ else
         --enable-__cxa_atexit \
         --enable-libstdcxx-allocator=new \
         --with-system-zlib \
+        MAKEINFO=missing \
     && make -j $WM_NCOMPPROCS \
     && make install \
     && echo "Built: $gccPACKAGE"
-- 
GitLab