po: Use "rsync" instead of "wget" for po-update target.
authorBen Pfaff <blp@cs.stanford.edu>
Sun, 20 Aug 2017 15:19:06 +0000 (08:19 -0700)
committerBen Pfaff <blp@cs.stanford.edu>
Sun, 20 Aug 2017 15:19:06 +0000 (08:19 -0700)
This is much faster.

po/automake.mk

index df215288b732f76331204098c86c4d3c335e54d4..cfb186ab8c2cb5cd97eb2056582eeb143107a6e4 100644 (file)
@@ -112,10 +112,6 @@ po_CLEAN:
        fi
 CLEAN_LOCAL += po_CLEAN
 
-WGET = wget
+RSYNC = rsync
 po-update:
-       cd $(srcdir) && rm -f $(POFILES)
-       cd $(srcdir)/po && \
-       for po in `echo '$(POFILES)' | sed 's,po/,,g'`; do \
-          $(WGET) https://translationproject.org/latest/pspp/$$po; \
-        done
+       $(RSYNC) -Lrtvz translationproject.org::tp/latest/pspp/ $(srcdir)/po