diff options
| author | Matthias Sohn <matthias.sohn@sap.com> | 2020-12-28 18:51:57 +0100 |
|---|---|---|
| committer | Matthias Sohn <matthias.sohn@sap.com> | 2021-09-29 17:13:01 +0200 |
| commit | 1d280db1472f7ec4bf26d6a14f7c3d8a0292b0e7 (patch) | |
| tree | 358613fff388b5336f7023ff681a63260561ec96 /org.eclipse.jgit.http.test/.settings/org.eclipse.jdt.ui.prefs | |
| parent | f81a3fc91a51776e6b44a4fc0d9ba5ac488f2c9e (diff) | |
| download | jgit-1d280db1472f7ec4bf26d6a14f7c3d8a0292b0e7.tar.gz jgit-1d280db1472f7ec4bf26d6a14f7c3d8a0292b0e7.zip | |
Enable compiler option --release
This ensures the compiler compiles against the public, supported and
documented API for a specific VM version (here 11) [1]. This also means
that
we don't need EE descriptors in Eclipse anymore in order to ensure that
only supported APIs of the selected Java version can be used.
According to [2] if option --release is used --source and --target
options can't be used.
While we are at it also add default value for all new jdt core options
added in Eclipse 4.21.
[1] https://docs.oracle.com/en/java/javase/11/tools/javac.html
[2] https://docs.oracle.com/en/java/javase/14/docs/specs/man/javac.html#option-release
Change-Id: I852a5d7b0a3210751c15d79ec91915b4c01c41e2
Signed-off-by: Matthias Sohn <matthias.sohn@sap.com>
Diffstat (limited to 'org.eclipse.jgit.http.test/.settings/org.eclipse.jdt.ui.prefs')
| -rw-r--r-- | org.eclipse.jgit.http.test/.settings/org.eclipse.jdt.ui.prefs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/org.eclipse.jgit.http.test/.settings/org.eclipse.jdt.ui.prefs b/org.eclipse.jgit.http.test/.settings/org.eclipse.jdt.ui.prefs index fef3713825..5cfb8b6ac6 100644 --- a/org.eclipse.jgit.http.test/.settings/org.eclipse.jdt.ui.prefs +++ b/org.eclipse.jgit.http.test/.settings/org.eclipse.jdt.ui.prefs @@ -1,7 +1,7 @@ eclipse.preferences.version=1 editor_save_participant_org.eclipse.jdt.ui.postsavelistener.cleanup=true formatter_profile=_JGit Format -formatter_settings_version=12 +formatter_settings_version=21 org.eclipse.jdt.ui.ignorelowercasenames=true org.eclipse.jdt.ui.importorder=java;javax;org;com; org.eclipse.jdt.ui.ondemandthreshold=99 |