From 28d582acd98d49e80ce5728d5a6b4ed035a9e357 Mon Sep 17 00:00:00 2001 From: Jim Meyering Date: Sun, 17 Feb 2002 16:20:39 +0000 Subject: ($(DOMAIN).pot-update): Remove/replace the .pot file only if the new one is different (modulo the creation date). --- po/Makefile.in.in | 9 +++++++-- 1 file changed, 7 insertions(+), 2 deletions(-) diff --git a/po/Makefile.in.in b/po/Makefile.in.in index e95553267..f68983ca4 100644 --- a/po/Makefile.in.in +++ b/po/Makefile.in.in @@ -82,8 +82,13 @@ $(DOMAIN).pot-update: $(POTFILES) $(srcdir)/POTFILES.in --files-from=$(srcdir)/POTFILES.in \ --copyright-holder='$(COPYRIGHT_HOLDER)' \ && test ! -f $(DOMAIN).po \ - || ( rm -f $(srcdir)/$(DOMAIN).pot \ - && mv $(DOMAIN).po $(srcdir)/$(DOMAIN).pot ) + || ( if diff -u -IPOT-Creation-Date: \ + $(DOMAIN).po $(srcdir)/$(DOMAIN).pot>/dev/null 2>&1;then \ + rm -f $(DOMAIN).po; \ + else \ + rm -f $(srcdir)/$(DOMAIN).pot; \ + mv $(DOMAIN).po $(srcdir)/$(DOMAIN).pot; \ + fi ) $(srcdir)/$(DOMAIN).pot: $(MAKE) $(DOMAIN).pot-update -- cgit v1.2.3-54-g00ecf