diff Makefile @ 18575:667063b22a69

check-code: warn to use killdaemons instead of kill `cat PIDFILE` We have a bunch of tests that still use kill `cat hg.pid` or worse, kill `cat hg.pid`; while kill -0 `cat hg.pid`; sleep 0; done Cleaning these up to use tests/killdaemons.py is non-trivial, so for now we just add a warning.
author Kevin Bullock <kbullock@ringworld.org>
date Fri, 08 Feb 2013 19:32:56 +0000
parents 7c9b07f0da73
children 4723ccb62282
line wrap: on
line diff