chiark / gitweb /
f5c74e49c805fcfb5b0b560a71923545b13ad178
[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