diff options
Diffstat (limited to 'MakeTAGS')
| -rw-r--r-- | MakeTAGS | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/MakeTAGS b/MakeTAGS index 2fe78c123b..8bc587a02c 100644 --- a/MakeTAGS +++ b/MakeTAGS @@ -1,6 +1,6 @@ # Make the TAGS files. -# Copyright (C) 1992, 1994, 1995, 1996 Free Software Foundation, Inc. +# Copyright (C) 1992, 1994, 1995, 1996, 1998 Free Software Foundation, Inc. # This file is part of the GNU C Library. # The GNU C Library is free software; you can redistribute it and/or @@ -176,7 +176,7 @@ $P/libc.pot: $(all-pot) po/header.pot > $@.new $(XGETTEXT) -d - --omit-header -n -s $^ >> $@.new mv -f $@.new $@ - test ! -d CVS || cvs ci -m'Regenerated from source files' $@ + test ! -d CVS || cvs $(CVSOPTS) ci -m'Regenerated from source files' $@ $(subdirs:%=$P/%.pot): $P/%.pot: FORCE $(MAKE) -C $* no_deps=t ../$@ |