diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-04-25 15:43:16 -0400 |
|---|---|---|
| committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-04-25 15:43:16 -0400 |
| commit | a9174ce4dc3939bbe14c9aa1fd11c79c7877eb16 (patch) | |
| tree | ae7492a1c78f30aad35e69a0bd1658a930b2c630 /src/util/configuration.cpp | |
| parent | b25991f4c2779c34b51cd51b943290a4a3d2a9fd (diff) | |
Add ability to run different regression levels with "make check"
Diffstat (limited to 'src/util/configuration.cpp')
0 files changed, 0 insertions, 0 deletions