jjb: binutils-gdb: set MAKEINFO=true during make install
authorSimon Marchi <simon.marchi@efficios.com>
Thu, 31 Aug 2023 15:57:09 +0000 (11:57 -0400)
committerSimon Marchi <simon.marchi@efficios.com>
Thu, 31 Aug 2023 18:18:41 +0000 (14:18 -0400)
commit593cd35e7499321c2c882cf779c82d698563f8e9
treec93f37e264644d2c18c006c3d862a41c933be0bf
parentc0849ee1f49bc0c0d84095feaf210f6a3ea7bd46
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
This page took 0.023014 seconds and 4 git commands to generate.