Erik:
My recent change for gcc8.2 changed the naming convention for devkits in jib-profiles.js (used for builds at Oracle). This messed up the rare occasions when we configure for a 32bit windows target. This patch fixes that situation specifically for windows 32/64 where we use the same devkit.Bug: https://bugs.openjdk.java.net/browse/JDK-8220737 Webrev: http://cr.openjdk.java.net/~erikj/8220737/webrev.01
Looks good. Tim
