From ffff0ff7fcb6df0c0b203fbce28fea0b11616b3c Mon Sep 17 00:00:00 2001
From: Lars Wirzenius <liw@liw.fi>
Date: Tue, 4 Jan 2022 08:50:38 +0200
Subject: install helpful tools, provide progress reporting

Sponsored-by: author
---
 x220.sh | 1 +
 1 file changed, 1 insertion(+)

(limited to 'x220.sh')

diff --git a/x220.sh b/x220.sh
index 8918935..dcb322d 100755
--- a/x220.sh
+++ b/x220.sh
@@ -9,6 +9,7 @@ gitget() {
 	local url="$1"
 	local branch="$2"
 	local dir="$3"
+	echo "get $url ($branch)"
 	if [ ! -e "$dir" ]; then
 		git clone -b "$branch" "$url"
 	else
-- 
cgit v1.2.1