diff options
| author |  Benoit Jacob <jacob.benoit.1@gmail.com> | 2009-11-11 21:25:21 -0500 |
|---|---|---|
| committer | Benoit Jacob <jacob.benoit.1@gmail.com> | 2009-11-11 21:25:21 -0500 |
| commit | bc18ba7e49d9871e9318dbccc54d0d5ea8825920 (patch) | |
| tree | 5a738cc7d8a8552fc4e931aa3e28bcf81ad507fe /scripts | |
| parent | ff7fbc9431dc1d32eca2923a6e3d17b16f91648c (diff) | |
* add maketests script. It is like make but takes a regexp allowing to build selected targets. Next step will be a "mctestr" script doing that and then calling ctest -R.
* in runtest.sh, don't override the default number of repeats. If one thinks the default should be changed, let's change it at the source.
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions