make/jprt.properties

changeset 414
84ece503953e
parent 398
0f653ee93477
child 443
df998cd4d51d
     1.1 --- a/make/jprt.properties	Tue Feb 28 17:54:33 2012 -0800
     1.2 +++ b/make/jprt.properties	Tue Mar 06 20:25:18 2012 +0000
     1.3 @@ -39,6 +39,7 @@
     1.4      solaris_x64_5.10-{product|fastdebug}, 			\
     1.5      linux_i586_2.6-{product|fastdebug}, 			\
     1.6      linux_x64_2.6-{product|fastdebug}, 				\
     1.7 +    macosx_x64_10.7-{product|fastdebug}, 			\
     1.8      windows_i586_5.1-{product|fastdebug}, 			\
     1.9      windows_x64_5.2-{product|fastdebug}
    1.10  
    1.11 @@ -53,6 +54,7 @@
    1.12      solaris_x64_5.10-product-c2-TESTNAME, 			\
    1.13      linux_i586_2.6-product-{c1|c2}-TESTNAME, 			\
    1.14      linux_x64_2.6-product-c2-TESTNAME, 				\
    1.15 +    macosx_x64_10.7-product-c2-TESTNAME, 			\
    1.16      windows_i586_5.1-product-c1-TESTNAME, 			\
    1.17      windows_x64_5.2-product-c2-TESTNAME
    1.18  

mercurial