make/jprt.properties
changeset 12799 4d73a92f4bfd
parent 12024 452c9c3f0a96
child 14107 6eeec97bbc33
--- a/make/jprt.properties	Wed Jul 05 18:12:32 2017 +0200
+++ b/make/jprt.properties	Thu Jun 07 15:28:27 2012 +0200
@@ -91,6 +91,7 @@
     ${jprt.my.test.target.set:TESTNAME=jdk_text},		\
     ${jprt.my.test.target.set:TESTNAME=jdk_tools1},             \
     ${jprt.my.test.target.set:TESTNAME=jdk_tools2},             \
+    ${jprt.my.test.target.set:TESTNAME=jdk_jfr},                \
     ${jprt.my.test.target.set:TESTNAME=jdk_misc}
 
 # All vm test targets (testset=all)