chiark
/
gitweb
/
~ian
/
ian-dotfiles.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Show DOING
[ian-dotfiles.git]
/
infra
/
makelinks
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=: