changeset 57 | a44af1db196f |
parent 9 | b5c893269cd5 |
--- a/tools/repair_obyfile.pl Fri Oct 15 14:51:12 2010 +0100 +++ b/tools/repair_obyfile.pl Fri Oct 15 15:50:31 2010 +0100 @@ -43,6 +43,12 @@ next; # discard this line - it will be regenerated by the __ECOM_PLUGIN } + if ($line =~ /REM processed \s*patchdata/i) + { + $line =~ s/REM processed\s+//; # reinstate the original patchdata line + my $discarded = <>; # discard the final "patchdata ... addr" line + } + $line =~ s/REM processed //; # re-enable other directives if ($line =~ /^time=/)