In messages, use $prhome, not $dot

diff --git a/infra/makelinks b/infra/makelinks
index f3b051053bd73b2a643e2c09bee83e9695082b07..6f4310782957039f5f0c026cbbc79db67451d2dd 100755 (executable)
--- 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 () {