make/jprt.properties

changeset 1179
5f4937d4217e
parent 1174
6cb876613230
parent 1167
39a27de39e83
child 1185
2ffefbac794b
     1.1 --- a/make/jprt.properties	Wed Sep 24 12:21:38 2014 -0700
     1.2 +++ b/make/jprt.properties	Mon Oct 06 15:49:12 2014 -0700
     1.3 @@ -167,6 +167,7 @@
     1.4      ${my.test.target.set:TESTNAME=jdk_security1},			\
     1.5      ${my.test.target.set:TESTNAME=jdk_security2},			\
     1.6      ${my.test.target.set:TESTNAME=jdk_security3},			\
     1.7 +    ${my.test.target.set:TESTNAME=jdk_security4},			\
     1.8      ${my.test.target.set:TESTNAME=jdk_rmi},				\
     1.9      ${my.test.target.set:TESTNAME=jdk_text},				\
    1.10      ${my.test.target.set:TESTNAME=jdk_time},				\

mercurial