tools/bulk_marking.pl
changeset 99 e23a8d7ea8bb
parent 82 e044daaa1848
child 106 376d4db79ce0
equal deleted inserted replaced
98:8ee002ad9af5 99:e23a8d7ea8bb
    44 		}
    44 		}
    45 
    45 
    46 	my ($romfile,$hostfile,$ibyfile,$package,$cmd,@rest) = split /,/, $line;
    46 	my ($romfile,$hostfile,$ibyfile,$package,$cmd,@rest) = split /,/, $line;
    47 	if (!defined $cmd)
    47 	if (!defined $cmd)
    48 		{
    48 		{
    49 		if ($other_exes && $line =~ /^(\S+)$/)
    49 		if ($line =~ /^(\S+)$/)
    50 			{
    50 			{
    51 			# guess that this is a preserved filename
    51 			# guess that this is a preserved executable
    52 			my $exe = "sys\\bin\\". lc $1;
    52 			my $exe = "sys\\bin\\". lc $1;
    53 			$romfiles{$exe} = 1;
    53 			$romfiles{$exe} = 1;
    54 			# print STDERR "Preserving $exe\n";
    54 			# print STDERR "Preserving $exe\n";
    55 			}
    55 			}
    56 		next;
    56 		next;