/hotspot/make/ jdk7-b25
drwxr-xr-x [up]
drwxr-xr-x templates
-rw-r--r-- 2017-07-05 16:34 +0200 16231 Makefile
-rw-r--r-- 2017-07-05 16:34 +0200 387 README
-rw-r--r-- 2017-07-05 16:34 +0200 7579 defs.make
-rw-r--r-- 2017-07-05 16:34 +0200 1475 hotspot_version
-rw-r--r-- 2017-07-05 16:34 +0200 9298 jprt.config
-rw-r--r-- 2017-07-05 16:34 +0200 1725 jprt.gmk
-rw-r--r-- 2017-07-05 16:34 +0200 12145 jprt.properties
-rw-r--r-- 2017-07-05 16:34 +0200 1350 scm.make