fixes for java.ext.dirs on Windows (more for #4623)

This commit is contained in:
Ben Fry
2016-08-19 15:39:02 -04:00
parent ed38bd453f
commit 534ca5d86f
3 changed files with 3 additions and 3 deletions

View File

@@ -960,7 +960,7 @@ public class JavaBuild {
PApplet.javaVersionName +
".jdk/Contents/Home/jre/lib/ext");
} else if (exportPlatform == PConstants.WINDOWS) {
runOptions.append("-Djava.ext.dirs=\"%EXEDIR%/java/lib/ext\"");
runOptions.append("-Djava.ext.dirs=\"%EXEDIR%\\java\\lib\\ext\"");
} else if (exportPlatform == PConstants.LINUX) {
runOptions.append("-Djava.ext.dirs=\"$APPDIR/java/lib/ext\"");
}