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 55de7a63e92f6160f3da57762dcb7aca8b64ab8f..6bcf4d94ae2855e0e1636199ff04d78f9929082a 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=: