diff options
| author | Bjoern Brandenburg <bbb@mpi-sws.org> | 2012-09-06 08:37:32 -0400 |
|---|---|---|
| committer | Bjoern Brandenburg <bbb@mpi-sws.org> | 2012-10-18 16:14:09 -0400 |
| commit | 3e491287675ebc65aadb0356c028d81d9f7a66ad (patch) | |
| tree | 87004e6aa6bd4bb96d1b402927325c5eef4ebff5 /litmus/ftdev.c | |
| parent | 057dcfdb1f0dfe07ec3e030b238e46a69d249a1e (diff) | |
P-FP: use proper CONFIG_ symbol
It's CONFIG_LITMUS_LOCKING, not just CONFIG_LOCKING...
Diffstat (limited to 'litmus/ftdev.c')
0 files changed, 0 insertions, 0 deletions