diff options
Diffstat (limited to 'MakeTAGS')
-rw-r--r-- | MakeTAGS | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/MakeTAGS b/MakeTAGS index 8bc587a02c..57d7a5b766 100644 --- a/MakeTAGS +++ b/MakeTAGS @@ -176,7 +176,9 @@ $P/libc.pot: $(all-pot) po/header.pot > $@.new $(XGETTEXT) -d - --omit-header -n -s $^ >> $@.new mv -f $@.new $@ +ifeq ($(with-cvs),yes) test ! -d CVS || cvs $(CVSOPTS) ci -m'Regenerated from source files' $@ +endif $(subdirs:%=$P/%.pot): $P/%.pot: FORCE $(MAKE) -C $* no_deps=t ../$@ |