diff options
| author | Jim Meyering <jim@meyering.net> | 2002-02-17 16:20:39 +0000 |
|---|---|---|
| committer | Jim Meyering <jim@meyering.net> | 2002-02-17 16:20:39 +0000 |
| commit | 28d582acd98d49e80ce5728d5a6b4ed035a9e357 (patch) | |
| tree | 1e44f456c824c3f0b7a06043a186f005915ccded | |
| parent | 2b345f4a8d0b257295bcb07092443a469f3479e3 (diff) | |
| download | coreutils-28d582acd98d49e80ce5728d5a6b4ed035a9e357.tar.xz | |
($(DOMAIN).pot-update): Remove/replace the .pot
file only if the new one is different (modulo the creation date).
| -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 |