Merge pull request #1622 from bhamiltoncx/mono-in-usr-local-bin

Look in /usr/local/bin before /usr/bin for mono
This commit is contained in:
Terence Parr 2017-01-24 09:53:22 -08:00 committed by GitHub
commit c3711dfcbc
1 changed files with 1 additions and 1 deletions

View File

@ -409,7 +409,7 @@ public class BaseCSharpTest implements RuntimeTestSupport /*, SpecialRuntimeTest
}
private String locateTool(String tool) {
String[] roots = { "/opt/local/bin/", "/usr/bin/", "/usr/local/bin/" };
String[] roots = { "/opt/local/bin/", "/usr/local/bin/", "/usr/bin/" };
for(String root : roots) {
if(new File(root + tool).exists())
return root + tool;