gcc native: build.sh: mock makeinfo to avoid it as a dependency

This commit is contained in:
Giacomo Tesio 2019-11-20 00:26:41 +01:00
parent 9114d34164
commit 3842a03b36
1 changed files with 4 additions and 0 deletions

View File

@ -32,6 +32,10 @@ function dynpatch {
date > $WORKING_DIR/gcc.build.log
# mock makeinfo (to avoid it as a dependency)
rm -f $JEHANNE/hacking/bin/makeinfo
ln -s `which echo` $JEHANNE/hacking/bin/makeinfo
# verify libtool is installed
libtool --version >> /dev/null
failOnError $? "libtool installation check"