Changeset 6141 for trunk/SOURCE_TOOLS/grepx.pl
- Timestamp:
- 14/08/09 16:29:27 (3 years ago)
- Files:
-
- 1 modified
-
trunk/SOURCE_TOOLS/grepx.pl (modified) (2 diffs)
Legend:
- Unmodified
- Added
- Removed
-
trunk/SOURCE_TOOLS/grepx.pl
r5675 r6141 491 491 if ($matches==0 and $arbSpecials==1) { 492 492 if (shall_skip_file($file)==1) { 493 print "grepx: Unlisted occur ance(s) in $file\n";493 print "grepx: Unlisted occurrence(s) in $file\n"; 494 494 return (0,0); 495 495 } … … 672 672 $cmp = $depth{$a} <=> $depth{$b}; # depth in directory tree 673 673 if ($cmp==0) { 674 $cmp = $a cmp $b; # alphabet hically674 $cmp = $a cmp $b; # alphabetically 675 675 } 676 676 }
