diff --git a/util/build-gnu.sh b/util/build-gnu.sh index 15c72720fc8..734cde88cbd 100755 --- a/util/build-gnu.sh +++ b/util/build-gnu.sh @@ -125,6 +125,8 @@ if test -f gnu-built; then else # Disable useless checks "${SED}" -i 's|check-texinfo: $(syntax_checks)|check-texinfo:|' doc/local.mk + # Stop manpage generation for cleaner log + : > man/local.mk # Use CFLAGS for best build time since we discard GNU coreutils CFLAGS="${CFLAGS} -pipe -O0 -s" ./configure -C --quiet --disable-gcc-warnings --disable-nls --disable-dependency-tracking --disable-bold-man-page-references \ --enable-single-binary=symlinks --enable-install-program="arch,kill,uptime,hostname" \