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"; }