From 5f8e67c07d8df469852a2a7faaf382588990e7fc Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Wed, 16 Dec 2015 20:40:16 +0000
Subject: [PATCH] In messages, use $prhome, not $dot

---
 infra/makelinks | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/infra/makelinks b/infra/makelinks
index f3b0510..6f43107 100755
--- a/infra/makelinks
+++ b/infra/makelinks
@@ -44,13 +44,13 @@ show () {
 
 good () {
     if [ $mode = list ]; then
-	show "good: $dot: $1"
+	show "good: $prhome: $1"
     fi
 }
 
 bad () {
     estatus=16
-    show "bad: $dot: $1" >&2
+    show "bad: $prhome: $1" >&2
 }
 
 needs () {
-- 
2.30.2