From 27f81142542580eb56972a991771047c732e5540 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Wed, 16 Dec 2015 18:27:11 +0000
Subject: [PATCH] Show DOING

---
 infra/makelinks | 1 +
 1 file changed, 1 insertion(+)

diff --git a/infra/makelinks b/infra/makelinks
index 55de7a6..6bcf4d9 100755
--- a/infra/makelinks
+++ b/infra/makelinks
@@ -58,6 +58,7 @@ bad () {
 needs () {
     if [ $mode = $1 ]; then
 	act=$real_act
+	show "DOING $1: $prhome ($2)"
     else
 	show "needs $1: $prhome: $2"
 	act=:
-- 
2.30.2