changeset 39194 | d56b54bc6437 |
parent 39190 | a6b5b18fd06c |
parent 38628 | 11af6696675c |
child 39927 | d83934a74ff9 |
--- a/common/conf/jib-profiles.js Tue Jun 07 22:01:49 2016 -0400 +++ b/common/conf/jib-profiles.js Fri Jun 10 15:19:32 2016 -0700 @@ -317,7 +317,8 @@ }, "linux-x86-open": { - default_make_targets: "profiles" + default_make_targets: "profiles", + configure_args: "--with-jvm-variants=client,server" } }; var openOnlyProfiles = concatObjects(openOnlyProfiles, openOnlyProfilesExtra);