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 29027cf842117bb2bb8d5c149569c869aa45f117..fd07122f5040d639319f94638e1b6b103d78809f 100755 (executable)
--- 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-*)