author | Dirkjan Ochtman <dirkjan@ochtman.nl> |
Mon, 12 Jan 2009 09:57:52 +0100 | |
changeset 7623 | 03007ad08027 |
parent 7622 | 4dd7b28003d2 |
child 7624 | f2fa1a9eede6 |
--- a/tests/test-highlight Mon Jan 12 09:16:03 2009 +0100 +++ b/tests/test-highlight Mon Jan 12 09:57:52 2009 +0100 @@ -68,7 +68,7 @@ echo % errors encountered cat errors.log -kill `cat hg.pid` +"$TESTDIR/killdaemons.py" # Change the pygments style cat > .hg/hgrc <<EOF @@ -87,4 +87,3 @@ echo % errors encountered cat errors.log -