make/jprt.properties
changeset 33952 8769e7f25636
parent 33396 19196d07fa98
parent 33951 cc5ca0725e70
child 33953 7e7d0a4c718b
equal deleted inserted replaced
33430:fe804fbec395 33952:8769e7f25636
    88 #
    88 #
    89 
    89 
    90 # Configure args common to all builds
    90 # Configure args common to all builds
    91 # Also allows for additional, testset specific configure arguments to be set
    91 # Also allows for additional, testset specific configure arguments to be set
    92 jprt.build.configure.args=						\
    92 jprt.build.configure.args=						\
    93     --with-output-sync=recurse 						\
    93     --with-output-sync=recurse						\
    94     --with-boot-jdk=$ALT_BOOTDIR 					\
    94     --with-boot-jdk=$ALT_BOOTDIR					\
    95     --with-jobs=$ALT_PARALLEL_COMPILE_JOBS 				\
    95     --with-jobs=$ALT_PARALLEL_COMPILE_JOBS				\
    96     MAKE=$JPRT_MAKE							\
    96     --with-version-opt=$JPRT_JOB_ID				 	\
       
    97     MAKE=$JPRT_MAKE                                                     \
    97     ${my.additional.build.configure.args.${jprt.test.set}}		\
    98     ${my.additional.build.configure.args.${jprt.test.set}}		\
    98     ${my.custom.build.configure.args}
    99     ${my.custom.build.configure.args}
    99 
   100 
   100 # i586 is often cross-compiled from 64-bit machines, so need to set target bits explicitly
   101 # i586 is often cross-compiled from 64-bit machines, so need to set target bits explicitly
   101 jprt.i586.build.configure.args=						\
   102 jprt.i586.build.configure.args=						\