8153303: Jib profiles config broken after JDK-8153257 after JDK-8031767
authortbell
Fri, 01 Apr 2016 12:25:51 -0700
changeset 36727 a86a1a1cae13
parent 36726 90083f9a087c
child 36729 8a474f471571
8153303: Jib profiles config broken after JDK-8153257 after JDK-8031767 Reviewed-by: mchung
common/conf/jib-profiles.js
--- a/common/conf/jib-profiles.js	Fri Apr 01 17:10:13 2016 +0200
+++ b/common/conf/jib-profiles.js	Fri Apr 01 12:25:51 2016 -0700
@@ -250,7 +250,7 @@
             target_cpu: "x86",
             build_cpu: "x64",
             dependencies: concat(common.dependencies, "devkit"),
-            configure_args: concat(common.configure_args, common.configure_args_32bit
+            configure_args: concat(common.configure_args, common.configure_args_32bit,
                 "--with-zlib=system"),
             make_args: common.make_args
         },