8073231: Add convenient way of adding custom configure options to jprt
authorihse
Wed, 25 Feb 2015 11:04:14 +0100
changeset 29063 42142426273c
parent 29062 ff5b9a7f9019
child 29064 d5e775680e97
8073231: Add convenient way of adding custom configure options to jprt Reviewed-by: erikj, tbell Contributed-by: ingemar.aberg@oracle.com
make/jprt.properties
--- a/make/jprt.properties	Mon Feb 23 11:42:54 2015 -0800
+++ b/make/jprt.properties	Wed Feb 25 11:04:14 2015 +0100
@@ -1,5 +1,5 @@
 #
-# Copyright (c) 2006, 2014, Oracle and/or its affiliates. All rights reserved.
+# Copyright (c) 2006, 2015, Oracle and/or its affiliates. All rights reserved.
 # DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
 #
 # This code is free software; you can redistribute it and/or modify it
@@ -86,7 +86,8 @@
     --with-output-sync=recurse 						\
     --with-boot-jdk=$ALT_BOOTDIR 					\
     --with-jobs=$ALT_PARALLEL_COMPILE_JOBS 				\
-    ${my.additional.build.configure.args.${jprt.test.set}}
+    ${my.additional.build.configure.args.${jprt.test.set}}		\
+    ${my.custom.build.configure.args}
 
 # i586 is often cross-compiled from 64-bit machines, so need to set target bits explicitly
 jprt.i586.build.configure.args=						\