spurious line in output of make

[Jonathan Gibbons]

This is in the main JDK repo:  notice the second line, "ExecuteWithLog is"
-- Jon

Building targets 'jdk-image docs-jdk-api' in configuration 
'linux-x86_64-normal-server-release'
ExecuteWithLog is
Finished building targets 'jdk-image docs-jdk-api' in configuration 
'linux-x86_64-normal-server-release'