From 693002462d5103cf34b09afafdbd5175af548bb3 Mon Sep 17 00:00:00 2001
From: Daniel Gnoutcheff <daniel@gnoutcheff.name>
Date: Sat, 28 Mar 2015 18:34:44 -0400
Subject: [PATCH] Workaround GCC makeinfo build bug

The GCC 4.6.x build system breaks when run on systems with sufficiently
recent versions of texinfo.  Tweak buildroot configuration to avoid this
bug.

An equivalent workaround has been commited to buildroot (commit
62322ac).  We can drop this once we upgrade buildroot and/or GCC.

GCC bug: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=60961
---
 buildrootconfig | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/buildrootconfig b/buildrootconfig
index 0512f1e..9267d99 100644
--- a/buildrootconfig
+++ b/buildrootconfig
@@ -151,7 +151,7 @@ BR2_GCC_VERSION_4_6_X=y
 # BR2_GCC_VERSION_SNAP is not set
 BR2_GCC_SUPPORTS_FINEGRAINEDMTUNE=y
 BR2_GCC_VERSION="4.6.3"
-BR2_EXTRA_GCC_CONFIG_OPTIONS=""
+BR2_EXTRA_GCC_CONFIG_OPTIONS="MAKEINFO=missing"
 # BR2_INSTALL_OBJC is not set
 # BR2_INSTALL_FORTRAN is not set
 BR2_GCC_SHARED_LIBGCC=y