diff test/runtime/8001071/Test8001071.sh @ 20405:fe392af93c23

8056072: add jprt_optimized targets Reviewed-by: kvn, roland
author iignatyev
date Wed, 27 Aug 2014 17:09:18 +0400
parents dc8afa03e5c9
children
line wrap: on
line diff