Running make help after configuring produces a lot of noisy output from make before the actual help text is displayed.

Reproducer:

* bash ./configure --with-boot-jdk=... --with-devkit=...
* make help

It only happens on the first invocation of make help, subsequent runs only display the actual help text.