changeset 1344:1e62ebf45f79

8073231: Add convenient way of adding custom configure options to jprt Reviewed-by: erikj, tbell Contributed-by: ingemar.aberg@oracle.com
author ihse
date Wed, 25 Feb 2015 11:04:14 +0100
parents 0c6ab35a9db4
children 6fcde8f7bf77
files make/jprt.properties
diffstat 1 files changed, 3 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- 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=						\