| commit | 4f4c000a93695a0fbe2f65ba238e9550ce493098 | [log] [tgz] |
|---|---|---|
| author | Dani Megert <dmegert> | Thu Dec 15 15:33:33 2011 +0100 |
| committer | Dani Megert <dmegert> | Thu Dec 15 15:33:33 2011 +0100 |
| tree | c57f9a339b7a4ec2e62aee306748631a4b1d4d8f | |
| parent | f6239fba5e7646095456a4f6090e632b86ea9458 [diff] |
Report incompatible environment as 'Error'
diff --git a/org.eclipse.jdt.debug.ui/.settings/org.eclipse.pde.prefs b/org.eclipse.jdt.debug.ui/.settings/org.eclipse.pde.prefs index 9bb0094..f9c565e 100644 --- a/org.eclipse.jdt.debug.ui/.settings/org.eclipse.pde.prefs +++ b/org.eclipse.jdt.debug.ui/.settings/org.eclipse.pde.prefs
@@ -1,7 +1,7 @@ #Mon Dec 14 12:07:52 CST 2009 compilers.f.unresolved-features=1 compilers.f.unresolved-plugins=1 -compilers.incompatible-environment=1 +compilers.incompatible-environment=0 compilers.p.build=1 compilers.p.build.missing.output=1 compilers.p.deprecated=1
diff --git a/org.eclipse.jdt.debug/.settings/org.eclipse.pde.prefs b/org.eclipse.jdt.debug/.settings/org.eclipse.pde.prefs index 91a1356..261bcf8 100644 --- a/org.eclipse.jdt.debug/.settings/org.eclipse.pde.prefs +++ b/org.eclipse.jdt.debug/.settings/org.eclipse.pde.prefs
@@ -1,7 +1,7 @@ #Mon Dec 14 12:05:06 CST 2009 compilers.f.unresolved-features=1 compilers.f.unresolved-plugins=1 -compilers.incompatible-environment=1 +compilers.incompatible-environment=0 compilers.p.build=1 compilers.p.build.missing.output=1 compilers.p.deprecated=1
diff --git a/org.eclipse.jdt.launching/.settings/org.eclipse.pde.prefs b/org.eclipse.jdt.launching/.settings/org.eclipse.pde.prefs index f96e4481..490283e 100644 --- a/org.eclipse.jdt.launching/.settings/org.eclipse.pde.prefs +++ b/org.eclipse.jdt.launching/.settings/org.eclipse.pde.prefs
@@ -1,7 +1,7 @@ #Mon Dec 14 12:08:03 CST 2009 compilers.f.unresolved-features=1 compilers.f.unresolved-plugins=1 -compilers.incompatible-environment=1 +compilers.incompatible-environment=0 compilers.p.build=1 compilers.p.build.missing.output=1 compilers.p.deprecated=1