From 593cd35e7499321c2c882cf779c82d698563f8e9 Mon Sep 17 00:00:00 2001
From: Simon Marchi <simon.marchi@efficios.com>
Date: Thu, 31 Aug 2023 11:57:09 -0400
Subject: [PATCH] jjb: binutils-gdb: set MAKEINFO=true during make install

Some builds fail because some directories try to invoke makeinfo during
"make install", presumably because we passed MAKEINFO=true during the
make phase, to skip building the doc.  Pass MAKEINFO=true to make
install as well to skip it again.

Change-Id: I1dc0eb9d0a4307a889aa37daaaa6b2afe765cbaf
Signed-off-by: Simon Marchi <simon.marchi@efficios.com>
---
 scripts/binutils-gdb/build.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/binutils-gdb/build.sh b/scripts/binutils-gdb/build.sh
index 29027cf..fd07122 100755
--- a/scripts/binutils-gdb/build.sh
+++ b/scripts/binutils-gdb/build.sh
@@ -275,7 +275,7 @@ esac
 $MAKE -j "$($NPROC)" V=1 MAKEINFO=true
 
 # Install in the workspace
-$MAKE install DESTDIR="$WORKSPACE"
+$MAKE install DESTDIR="$WORKSPACE" MAKEINFO=true
 
 case "$platform" in
 macos-*)
-- 
2.34.1