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)
commitb2f4aa31fedbeaecb2ce300448c662e4b2917e21
tree709e9226eddd275246f3732bb77868bd73b2e174
parent031b4a74e7a2ce5f8269fea4971926b6a01df8dd
parent14cd8359290df8866ff35c4930b5fa610e71a099
Merge branch 'master' into 'master'

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