chiark / gitweb /
Merge branch 'master' into 'master'
authorDaniel Martí <mvdan@mvdan.cc>
Mon, 17 Nov 2014 17:03:22 +0000 (17:03 +0000)
committerDaniel Martí <mvdan@mvdan.cc>
Mon, 17 Nov 2014 17:03:22 +0000 (17:03 +0000)
fix bugs in run-tests scripts

This fixes a couple of subtle bugs in `./run-tests` that only showed up recently.

See merge request !30


Trivial merge