equal
deleted
inserted
replaced
119 options.get("-g:") == null |
119 options.get("-g:") == null |
120 ? options.get("-g") != null |
120 ? options.get("-g") != null |
121 : options.get("-g:vars") != null; |
121 : options.get("-g:vars") != null; |
122 genCrt = options.get("-Xjcov") != null; |
122 genCrt = options.get("-Xjcov") != null; |
123 debugCode = options.get("debugcode") != null; |
123 debugCode = options.get("debugcode") != null; |
124 allowInvokedynamic = options.get("invokedynamic") != null; |
124 allowInvokedynamic = target.hasInvokedynamic() || options.get("invokedynamic") != null; |
125 |
125 |
126 generateIproxies = |
126 generateIproxies = |
127 target.requiresIproxy() || |
127 target.requiresIproxy() || |
128 options.get("miranda") != null; |
128 options.get("miranda") != null; |
129 |
129 |