From 593cd35e7499321c2c882cf779c82d698563f8e9 Mon Sep 17 00:00:00 2001 From: Simon Marchi 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 --- 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