chiark / gitweb /
In messages, use $prhome, not $dot
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 16 Dec 2015 20:40:16 +0000 (20:40 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 16 Dec 2015 20:40:16 +0000 (20:40 +0000)
infra/makelinks

index f3b0510..6f43107 100755 (executable)
@@ -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 () {