directory /make/devkit/ @ 2369:d43cf567cf72 jdk8u212-b04

name size permissions
[up] drwxr-xr-x
file Makefile 4093 -rw-r--r--
file Tools.gmk 15147 -rw-r--r--