diff --git a/ecj-rpmdebuginfo.patch b/ecj-rpmdebuginfo.patch index b48d3d8..c12e694 100644 --- a/ecj-rpmdebuginfo.patch +++ b/ecj-rpmdebuginfo.patch @@ -1,6 +1,13 @@ ---- a/org/eclipse/jdt/internal/compiler/batch/Main.java -+++ b/org/eclipse/jdt/internal/compiler/batch/Main.java -@@ -3109,6 +3109,29 @@ public void configure(String[] argv) { +### Eclipse Workspace Patch 1.0 +#P org.eclipse.jdt.core +Index: batch/org/eclipse/jdt/internal/compiler/batch/Main.java +=================================================================== +RCS file: /cvsroot/eclipse/org.eclipse.jdt.core/batch/org/eclipse/jdt/internal/compiler/batch/Main.java,v +retrieving revision 1.327 +diff -u -r1.327 Main.java +--- batch/org/eclipse/jdt/internal/compiler/batch/Main.java 21 Apr 2008 15:00:59 -0000 1.327 ++++ batch/org/eclipse/jdt/internal/compiler/batch/Main.java 20 Nov 2008 19:26:57 -0000 +@@ -3097,6 +3097,29 @@ public void configure(String[] argv) { this.options.put(CompilerOptions.OPTION_Process_Annotations, CompilerOptions.ENABLED); }