Magnus: > The configure scripts still contains some left-over crud from the old > hotspot build, amongst them DEBUG_BINARIES that are not used anymore. > > Bug: https://bugs.openjdk.java.net/browse/JDK-8038957 > WebRev: > http://cr.openjdk.java.net/~ihse/JDK-8038957-remove_DEBUG_BINARIES/webrev.01 Looks good to me. /Tim