summaryrefslogtreecommitdiff
path: root/po
diff options
context:
space:
mode:
authorJim Meyering <jim@meyering.net>2002-02-17 16:20:39 +0000
committerJim Meyering <jim@meyering.net>2002-02-17 16:20:39 +0000
commit28d582acd98d49e80ce5728d5a6b4ed035a9e357 (patch)
tree1e44f456c824c3f0b7a06043a186f005915ccded /po
parent2b345f4a8d0b257295bcb07092443a469f3479e3 (diff)
downloadcoreutils-28d582acd98d49e80ce5728d5a6b4ed035a9e357.tar.xz
($(DOMAIN).pot-update): Remove/replace the .pot
file only if the new one is different (modulo the creation date).
Diffstat (limited to 'po')
-rw-r--r--po/Makefile.in.in9
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