diff options
| author | Alexander Kurtakov | 2018-11-16 10:46:28 +0000 |
|---|---|---|
| committer | Alexander Kurtakov | 2018-11-16 10:54:31 +0000 |
| commit | 0354d56031725ffdb9839e02c38de9c1a4f410c3 (patch) | |
| tree | 883943dafbc7b3bb8c5bff3d0f02fc2da0cf172d | |
| parent | 1663311e0efe3a8e9d75c92fd096820f30fe515d (diff) | |
| download | eclipse.platform.ui-0354d56031725ffdb9839e02c38de9c1a4f410c3.tar.gz eclipse.platform.ui-0354d56031725ffdb9839e02c38de9c1a4f410c3.tar.xz eclipse.platform.ui-0354d56031725ffdb9839e02c38de9c1a4f410c3.zip | |
Remove jre.compilation.profile from e4.core.commands.I20181116-1800
It's not needed as the BREE is already 1.8 and using
jre.compilation.profile is always causing troubles later e.g. this time
I reopened Java 11 support bug in Tycho for this one.
Change-Id: I98ab4e04385ce9516024d80702fa07eabd3046b8
Signed-off-by: Alexander Kurtakov <akurtako@redhat.com>
| -rw-r--r-- | bundles/org.eclipse.e4.core.commands/build.properties | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/bundles/org.eclipse.e4.core.commands/build.properties b/bundles/org.eclipse.e4.core.commands/build.properties index 67136fa8405..f60c7f708b9 100644 --- a/bundles/org.eclipse.e4.core.commands/build.properties +++ b/bundles/org.eclipse.e4.core.commands/build.properties @@ -19,4 +19,3 @@ bin.includes = META-INF/,\ plugin.properties source.. = src/ src.includes = about.html -jre.compilation.profile = JavaSE-1.8 |