chiark / gitweb /
break out sometest-run
[dgit-junk.git] / sometest-run
1 #!/bin/bash
2
3 set -e
4 set -o pipefail
5
6 time nice tests/using-intree tests/run-all