diff options
| -rw-r--r-- | po/Makefile.in.in | 9 |
1 files 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 |