diff options
| author | Bjoern B. Brandenburg <bbb@cs.unc.edu> | 2011-01-29 19:23:54 -0500 |
|---|---|---|
| committer | Bjoern B. Brandenburg <bbb@cs.unc.edu> | 2011-02-03 17:40:16 -0500 |
| commit | ed2742a29674222173147b73f223bc7be01e1eaf (patch) | |
| tree | 887b7b1e0e8b84c9e5f5559a2e3595039e934803 /bin | |
| parent | 5ec8a4d481017390da5ae4de027e937bc04c21ec (diff) | |
tests: allow 'LITMUS' as an alias of all non-Linux plugins
This is useful for tests that apply to any plugin.
Diffstat (limited to 'bin')
0 files changed, 0 insertions, 0 deletions