From: Simon Marchi <simon.marchi@efficios.com>
Date: Thu, 31 Aug 2023 15:57:09 +0000 (-0400)
Subject: jjb: binutils-gdb: set MAKEINFO=true during make install
X-Git-Url: http://git.liburcu.org/?a=commitdiff_plain;h=593cd35e7499321c2c882cf779c82d698563f8e9;p=lttng-ci.git

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>
---

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-*)