| 1 |
--- plugins/org.eclipse.jdt.core/batch/org/eclipse/jdt/internal/compiler/batch/Main.java.orig 2006-02-07 13:50:13.000000000 -0500
|
| 2 |
+++ plugins/org.eclipse.jdt.core/batch/org/eclipse/jdt/internal/compiler/batch/Main.java 2006-02-07 13:55:29.000000000 -0500
|
| 3 |
@@ -2405,6 +2405,28 @@
|
| 4 |
this.times = new long[this.repetitions];
|
| 5 |
this.timesCounter = 0;
|
| 6 |
}
|
| 7 |
+ {
|
| 8 |
+ // If we're building an RPM, force full debugging info to
|
| 9 |
+ // be generated, no matter what options have been passed
|
| 10 |
+ // by Ant. This is something of a kludge, but it is far
|
| 11 |
+ // better than the alternative, which is having class
|
| 12 |
+ // files with debug info mysteriously missing.
|
| 13 |
+
|
| 14 |
+ String RpmPackageName = System.getenv("RPM_PACKAGE_NAME");
|
| 15 |
+ String RpmArch = System.getenv("RPM_ARCH");
|
| 16 |
+ String RpmBuildRoot = System.getenv("RPM_BUILD_ROOT");
|
| 17 |
+ if (RpmPackageName != null && RpmArch != null && RpmBuildRoot != null) {
|
| 18 |
+ this.options.put(
|
| 19 |
+ CompilerOptions.OPTION_LocalVariableAttribute,
|
| 20 |
+ CompilerOptions.GENERATE);
|
| 21 |
+ this.options.put(
|
| 22 |
+ CompilerOptions.OPTION_LineNumberAttribute,
|
| 23 |
+ CompilerOptions.GENERATE);
|
| 24 |
+ this.options.put(
|
| 25 |
+ CompilerOptions.OPTION_SourceFileAttribute,
|
| 26 |
+ CompilerOptions.GENERATE);
|
| 27 |
+ }
|
| 28 |
+ }
|
| 29 |
}
|
| 30 |
|
| 31 |
private void addNewEntry(final int InsideClasspath, final int InsideSourcepath, ArrayList bootclasspaths, ArrayList classpaths,ArrayList sourcepathClasspaths, String currentClasspathName, ArrayList currentRuleSpecs, int mode, String customEncoding) {
|
Parent Directory
| 
Revision Log