##// END OF EJS Templates
tests: use killdaemons.py in test-highlight
Dirkjan Ochtman -
r7623:03007ad0 default
parent child Browse files
Show More
@@ -68,7 +68,7 b' rm out'
68
68
69 echo % errors encountered
69 echo % errors encountered
70 cat errors.log
70 cat errors.log
71 kill `cat hg.pid`
71 "$TESTDIR/killdaemons.py"
72
72
73 # Change the pygments style
73 # Change the pygments style
74 cat > .hg/hgrc <<EOF
74 cat > .hg/hgrc <<EOF
@@ -87,4 +87,3 b' rm out'
87
87
88 echo % errors encountered
88 echo % errors encountered
89 cat errors.log
89 cat errors.log
90
General Comments 0
You need to be logged in to leave comments. Login now