JAL-3130 java bash wrapper to choose which java to run (if this is first in path...
authorBen Soares <bsoares@dundee.ac.uk>
Mon, 17 Dec 2018 10:37:13 +0000 (10:37 +0000)
committerBen Soares <bsoares@dundee.ac.uk>
Mon, 17 Dec 2018 10:37:13 +0000 (10:37 +0000)
commitfd9883a5fa9cbf42bd7738beb6052bc4eb12f434
tree28f80c7f848bbf4f73808bc6b8b640eeabdcd4bb
parent17c1f608bfa58caabfeaaebe3688889e20449e43
JAL-3130 java bash wrapper to choose which java to run (if this is first in path) -- useful when you want javac and java to be from different JAVA_HOME when running ant
j11jre/bin/java [new file with mode: 0755]