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