tools/bulk_marking.pl
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";