diff options
author | John MacFarlane <jgm@berkeley.edu> | 2014-12-22 23:17:52 -0700 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2014-12-22 23:17:52 -0700 |
commit | 5cae27d7262311c4884992cb45029b524f6be65f (patch) | |
tree | 96ce9b732b6a8f2702bdf1a0019d48d31da2e1b2 /Makefile | |
parent | a5ce7bb8d0f66a342a6887c851d5afa7c7c2c7ab (diff) | |
parent | 222488862ba0ae1e790789676cd7aeb5d9b66e0b (diff) |
Merge pull request #247 from cirosantilli/run-single-test-by-number
Add --number option to run a single test by its id
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions