changeset 99 | e23a8d7ea8bb |
parent 82 | e044daaa1848 |
child 106 | 376d4db79ce0 |
--- a/tools/bulk_marking.pl Mon Nov 01 15:06:10 2010 +0000 +++ b/tools/bulk_marking.pl Tue Nov 02 10:32:18 2010 +0000 @@ -46,9 +46,9 @@ my ($romfile,$hostfile,$ibyfile,$package,$cmd,@rest) = split /,/, $line; if (!defined $cmd) { - if ($other_exes && $line =~ /^(\S+)$/) + if ($line =~ /^(\S+)$/) { - # guess that this is a preserved filename + # guess that this is a preserved executable my $exe = "sys\\bin\\". lc $1; $romfiles{$exe} = 1; # print STDERR "Preserving $exe\n";