chiark / gitweb /
Bump the source and target versions used in javac.
authorSimon Tatham <anakin@pobox.com>
Mon, 14 May 2018 17:18:28 +0000 (18:18 +0100)
committerSimon Tatham <anakin@pobox.com>
Mon, 14 May 2018 17:26:07 +0000 (18:26 +0100)
commit5141e5b3e779573f907215a21d4a4731adb9c89b
treef558cedba82ccf44b189447aebc53815e2205000
parent113aad8b3e341833dcb6886b71e22f733e2ec63c
Bump the source and target versions used in javac.

I've just upgraded my build machine to Ubuntu 18.04, which has come
with a version of javac that complains about both -source 1.3 and
-target 1.3. Both are surely pretty out of date anyway, so the path of
least resistance is to just increase them to the earliest version that
javac doesn't currently complain is deprecated.
Recipe