author | erikj |
Fri, 03 Jun 2016 16:30:27 +0200 | |
changeset 38628 | 11af6696675c |
parent 38627 | 6dea0d12ee02 |
child 38631 | bbb89d6c08cc |
--- 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);