commit a3f372800a79cbc400e8d126375835711332597b
author Ed Merks <ed.merks@gmail.com> Fri Dec 20 11:03:10 2019 +0100
committer Ed Merks <ed.merks@gmail.com> Fri Dec 20 11:03:10 2019 +0100
tree 477ed549b2cd87d7946521f18c2e53526aa855c6
parent 96b24b0593195e92753f779de07839a4cd43d50b

[releng] Change setup to ignore new BREE warning.

releng/org.eclipse.emf.releng/EMF.setup

diff --git a/releng/org.eclipse.emf.releng/EMF.setup b/releng/org.eclipse.emf.releng/EMF.setup
index c9753b1..0ec6fbd 100644
--- a/releng/org.eclipse.emf.releng/EMF.setup
+++ b/releng/org.eclipse.emf.releng/EMF.setup
@@ -84,6 +84,10 @@
           key="/instance/org.eclipse.jdt.core/org.eclipse.jdt.core.compiler.problem.redundantNullCheck">
         <value>record</value>
       </detail>
+      <detail
+          key="/instance/org.eclipse.pde/compilers.p.exec-env-too-low">
+        <value>record</value>
+      </detail>
     </annotation>
     <setupTask
         xsi:type="setup:CompoundTask"
@@ -216,6 +220,10 @@
           xsi:type="setup:PreferenceTask"
           key="/instance/org.eclipse.pde/compilers.p.deprecated"
           value="2"/>
+      <setupTask
+          xsi:type="setup:PreferenceTask"
+          key="/instance/org.eclipse.pde/compilers.p.exec-env-too-low"
+          value="2"/>
     </setupTask>
     <setupTask
         xsi:type="setup:CompoundTask"