hg: jdk9/dev/hotspot: 8142907: Integration of minor fixes from the build-infra project

[magnus.ihse.bursie at oracle.com]

Changeset: 201581254c62
Author:    ihse
Date:      2015-12-15 11:02 +0100
URL:       http://hg.openjdk.java.net/jdk9/dev/hotspot/rev/201581254c62

8142907: Integration of minor fixes from the build-infra project
Reviewed-by: erikj, dholmes

! make/lib/Lib-jdk.hotspot.agent.gmk