Normalized all file paths

2021-01-22 11:55:38 +00:00
parent b74f1aedb4
commit ead577521d
5 changed files with 18 additions and 12 deletions
--- a/dist/linux/stub
+++ b/dist/linux/stub
@@ -5,6 +5,6 @@ java=java
 if test -n "$JAVA_HOME"; then
    java="$JAVA_HOME/bin/java"
 fi
-java_args=-Xmx1g
+java_args=-Xmx8g
 exec "$java" $java_args -jar $MYSELF "$@"
 exit 1