Closed ndokos closed 1 year ago
Isn't it already there? We only branched it recently.
Yes, but it's called It is pbench-kill-tools
and I was looking under t
, not under k
:-)pbench-tools-kill
and both main and b0.72 have all the pieces, but the makefile is missing the stanza to build the executable, so it will need to be added in both branches.
Hunting and killing wayward tool-meister paraphernalia is a pain: @portante added
pbench-tools-kill
tomain
but maybe we should backport it tob0.72
.