chiark
/
gitweb
/
~ian
/
ian-dotfiles.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(from parent 1:
51499ec
)
Show DOING
author
Ian Jackson
<ijackson@chiark.greenend.org.uk>
Wed, 16 Dec 2015 18:27:11 +0000
(18:27 +0000)
committer
Ian Jackson
<ijackson@chiark.greenend.org.uk>
Wed, 16 Dec 2015 18:27:11 +0000
(18:27 +0000)
infra/makelinks
patch
|
blob
|
history
diff --git
a/infra/makelinks
b/infra/makelinks
index 55de7a63e92f6160f3da57762dcb7aca8b64ab8f..6bcf4d94ae2855e0e1636199ff04d78f9929082a 100755
(executable)
--- a/
infra/makelinks
+++ b/
infra/makelinks
@@
-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=: