changeset 38628 | 11af6696675c |
parent 37972 | e1fa5c2e62a0 |
child 39194 | d56b54bc6437 |
--- a/common/conf/jib-profiles.js Thu Jun 02 21:14:26 2016 +0000 +++ b/common/conf/jib-profiles.js Fri Jun 03 16:30:27 2016 +0200 @@ -318,7 +318,8 @@ }, "linux-x86-open": { - default_make_targets: "profiles" + default_make_targets: "profiles", + configure_args: "--with-jvm-variants=client,server" } }; var openOnlyProfiles = concatObjects(openOnlyProfiles, openOnlyProfilesExtra);