common/conf/jib-profiles.js
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);