tools/repair_obyfile.pl
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=/)