From e88374a902f4fd5d20cb856175bfdc9c533ec6a9 Mon Sep 17 00:00:00 2001
From: Mischa POSLAWSKY <perl@shiar.org>
Date: Sun, 4 Jun 2017 23:53:35 +0200
Subject: [PATCH] tools: output git action during make

Either clone or pull with matching echo, quiet execution.
---
 Makefile | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/Makefile b/Makefile
index 8ff1638..fb804a8 100644
--- a/Makefile
+++ b/Makefile
@@ -7,9 +7,9 @@ download: data/DerivedAge.txt data/rfc1345.txt data/xorg-compose data/countryInf
 # atomically create file by command
 cmdsave = @echo $1 $2 \>$@; $1 $2 | sponge $@
 # download git checkout
-gitsave = @echo git pull or clone $@; \
-	[ -r $@/.git ] && cd $@ && git pull --ff-only || true; \
-	[ -e $@ ] || git clone "$1" $@
+gitsave = @if cd $@ 2>/dev/null; \
+	then echo git pull $@; git pull -q --ff-only || true; \
+	else echo git clone $1 $@; git clone -q --progress $1 $@; fi
 
 sitemap.xml: tools/mksitemap
 	$(call cmdsave,$<)
-- 
2.30.0