chiark / gitweb /
Show DOING
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 16 Dec 2015 18:27:11 +0000 (18:27 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 16 Dec 2015 18:27:11 +0000 (18:27 +0000)
infra/makelinks

index 55de7a6..6bcf4d9 100755 (executable)
@@ -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=: