6d47ab8c2e
the port is root. It was keeping the uid/gid of 10/143. There might be a better solution than this in the long run but it'll work for now. PR: 12897 Reported by: Jose Marques <jose@nobody.org> Also some minor non-functional changes, exit 0 -> ${FALSE}, PKGMESSAGE to use | ${SED} instead of creating a new file. |
||
---|---|---|
.. | ||
guavac | ||
java-cup | ||
java-tutorial | ||
jdk | ||
jdk11 | ||
jdk11-doc | ||
jdk12-doc | ||
jdk13-doc | ||
jdk14-doc | ||
jdk-doc | ||
jdk-tutorial | ||
jfc | ||
jikes | ||
jlex | ||
jsdk | ||
kaffe | ||
pkg | ||
shujit | ||
tya | ||
Makefile |