# HG changeset patch # User William Roberts # Date 1288737276 0 # Node ID 376d4db79ce043073783e3592f0a4738f0883090 # Parent 96c15d318508a7c9091cdd277694b8a8fe3f15af Update bulk_marking.pl to handle the optional cmds, which was the key to making the "boot_ktrace_640" reduction work correctly diff -r 96c15d318508 -r 376d4db79ce0 tools/bulk_marking.pl --- 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"; }