diff options
Diffstat (limited to 'debian/command-scripts/scaladoc')
| -rwxr-xr-x | debian/command-scripts/scaladoc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/command-scripts/scaladoc b/debian/command-scripts/scaladoc index bd74c529ca..318829da92 100755 --- a/debian/command-scripts/scaladoc +++ b/debian/command-scripts/scaladoc @@ -2,4 +2,4 @@ JAVA_DIR=/usr/share/java SCALAC_CLASSPATH=$JAVA_DIR/scala-library.jar:$JAVA_DIR/scala-compiler.jar -exec ${JAVACMD:=java} -Xmx256M -Xms16M -classpath $SCALAC_CLASSPATH scala.tools.nsc.Main -doc "$@" +exec ${JAVACMD:=java} ${JAVA_OPTS:=-Xmx256M -Xms16M} -classpath $SCALAC_CLASSPATH scala.tools.nsc.Main -doc "$@" |