make/jprt.properties
changeset 26401 8056c9157546
parent 26125 e8c2f6d71653
child 26790 d0a247d1f2a8
--- a/make/jprt.properties	Tue Sep 09 17:42:07 2014 +0100
+++ b/make/jprt.properties	Wed Sep 10 16:13:35 2014 +0100
@@ -165,6 +165,7 @@
     ${my.test.target.set:TESTNAME=jdk_security1},			\
     ${my.test.target.set:TESTNAME=jdk_security2},			\
     ${my.test.target.set:TESTNAME=jdk_security3},			\
+    ${my.test.target.set:TESTNAME=jdk_security4},			\
     ${my.test.target.set:TESTNAME=jdk_rmi},				\
     ${my.test.target.set:TESTNAME=jdk_text},				\
     ${my.test.target.set:TESTNAME=jdk_time},				\