Author: leo
Date: Fri Feb 3 03:39:14 2006
New Revision: 11411
Modified:
trunk/editor/addtags
Log:
fix (again) addtags - see also 8388
Modified: trunk/editor/addtags
==============================================================================
--- trunk/editor/addtags (original)
+++ trunk/editor/addtags Fri Feb 3 03:39:14 2006
@@ -21,7 +21,7 @@ Add src/ops/*.ops to tags file.
my %seen;
open T, '>>', 'tags' or die "Can't append tags: $!";
-while (<@ARGV>) {
+while (<>) {
if (/\bop \s+ (\w+) \s* \(/x) {
next if $seen{$1}++;
# tag file excmd xflags
