diff options
Diffstat (limited to 'blockmap-gui.sh')
| -rwxr-xr-x | blockmap-gui.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/blockmap-gui.sh b/blockmap-gui.sh index 68f6a4fd6035..dffcd239456b 100755 --- a/blockmap-gui.sh +++ b/blockmap-gui.sh @@ -2,4 +2,4 @@ for name in /usr/share/java/blockmap/*.jar ; do CP=$CP:$name done -exec /usr/bin/java -cp $CP de.piegames.blockmap.gui.standalone.GuiMainLauncher "$@" +archlinux-java-run -a 13 -- -cp $CP de.piegames.blockmap.gui.standalone.GuiMainLauncher "$@" |