|
250 | 250 | replace="" flags="s" />
|
251 | 251 | <replaceregexp file="${src.generatedsrc.dir}/@{dir}/@{name}.java"
|
252 | 252 | match="private static final int ZZ_BUFFERSIZE ="
|
253 |
| - replace="private int ZZ_BUFFERSIZE ="/> |
| 253 | + replace="private int ZZ_BUFFERSIZE =" |
| 254 | + preserveLastModified="true"/> |
254 | 255 | <replaceregexp file="${src.generatedsrc.dir}/@{dir}/@{name}.java"
|
255 | 256 | match="int requested = zzBuffer\.length - zzEndRead;"
|
256 |
| - replace="int requested = zzBuffer.length - zzEndRead - zzFinalHighSurrogate;"/> |
| 257 | + replace="int requested = zzBuffer.length - zzEndRead - zzFinalHighSurrogate;" |
| 258 | + preserveLastModified="true"/> |
257 | 259 | <!-- <replaceregexp file="${src.generatedsrc.dir}/@{dir}/@{name}.java"
|
258 | 260 | match="(zzFinalHighSurrogate = 1;)(\r?\n)"
|
259 | 261 | replace="\1\2 if (totalRead == 1) { return true; }\2"/> this only works for jflex 1.6.0 -->
|
260 | 262 | <replaceregexp file="${src.generatedsrc.dir}/@{dir}/@{name}.java"
|
261 | 263 | match="(zzFinalHighSurrogate = 1;)(\r?\n)"
|
262 |
| - replace="\1\2 if (numRead == 1) { return true; }\2"/> |
| 264 | + replace="\1\2 if (numRead == 1) { return true; }\2" |
| 265 | + preserveLastModified="true"/> |
263 | 266 | <!-- also revert 0 character check that got in with 1.6.1 : https://github.com/jflex-de/jflex/blob/master/jflex/examples/zero-reader/README.md -->
|
264 | 267 | <replaceregexp file="${src.generatedsrc.dir}/@{dir}/@{name}.java"
|
265 | 268 | match="[ \t]*/\* not supposed to occur according to specification of java\.io\.Reader \*/\s+if \(numRead == 0.*?\}[ \t]*\r?\n"
|
266 |
| - replace="" flags="s" /> |
| 269 | + replace="" flags="s" |
| 270 | + preserveLastModified="true"/> |
267 | 271 | </sequential>
|
268 | 272 | </macrodef>
|
269 | 273 |
|
|
0 commit comments