Chris Stewart 2001e86ab9 If DISABLE_JLINK set, don't try to chmod jre/bin/java (#4651) ... * If DISABLE_JLINK set, don't try to chmod jre/bin/java * Do it for oracle server as well		2022-08-23 13:16:42 -05:00
..
src	If DISABLE_JLINK set, don't try to chmod jre/bin/java (#4651)	2022-08-23 13:16:42 -05:00
server.sbt	Fix bug where we weren't specify the bash script for each project to modify file permissions (#4625)	2022-08-18 08:29:10 -05:00