tools/bulk_marking.pl
changeset 106 376d4db79ce0
parent 99 e23a8d7ea8bb
--- a/tools/bulk_marking.pl	Tue Nov 02 17:03:32 2010 +0000
+++ b/tools/bulk_marking.pl	Tue Nov 02 22:34:36 2010 +0000
@@ -56,7 +56,7 @@
 		next;
 		}
 	
-	if ($cmd ne "")
+	if ($cmd ne "" && $cmd !~ /_/)
 		{
 		print $line;	# already marked, so leave it alone
 		next;
@@ -82,6 +82,7 @@
 
 	if ($mark_me)
 		{
+		print STDERR "Overriding $cmd for $romfile\n" if ($cmd ne "" && lc $cmd ne lc $newcmd);
 		$mark_count += 1;
 		print join(",", $romfile,$hostfile,$ibyfile,$package,$newcmd,$who,$marking), "\n";
 		}