Skip to content

Commit

Permalink
Merge pull request #272 from pehrsoderman/bump-java-version
Browse files Browse the repository at this point in the history
Bump the language versions for Java
  • Loading branch information
pehrsoderman authored Aug 17, 2024
2 parents 5684db8 + 2477d77 commit 4c8de61
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion problemtools/config/languages.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -147,7 +147,7 @@ java:
name: 'Java'
priority: 800
files: '*.java'
compile: '/usr/bin/javac -source 11 -encoding UTF-8 -sourcepath {path} -d {path} {files}'
compile: '/usr/bin/javac -source 21 -encoding UTF-8 -sourcepath {path} -d {path} {files}'
run: '/usr/bin/java -Dfile.encoding=UTF-8 -XX:+UseSerialGC -Xss64m -Xms{memlim}m -Xmx{memlim}m -cp {path} {mainclass}'

javascript:
Expand Down

0 comments on commit 4c8de61

Please sign in to comment.