From: Ben Pfaff <blp@cs.stanford.edu>
Date: Sun, 20 Aug 2017 15:19:06 +0000 (-0700)
Subject: po: Use "rsync" instead of "wget" for po-update target.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pspp;a=commitdiff_plain;h=410f0175862b388dbb43fba20580d00c284f5d13

po: Use "rsync" instead of "wget" for po-update target.

This is much faster.
---

diff --git a/po/automake.mk b/po/automake.mk
index df215288b7..cfb186ab8c 100644
--- a/po/automake.mk
+++ b/po/automake.mk
@@ -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