diff options
| author | Christopher Kenna <cjk@cs.unc.edu> | 2010-11-22 17:27:19 -0500 |
|---|---|---|
| committer | Bjoern B. Brandenburg <bbb@cs.unc.edu> | 2010-11-22 18:32:14 -0500 |
| commit | 25559139cf5480ccfb1ac180e9038448d5d2410e (patch) | |
| tree | b8a7024e75048fae99daeae47ba5861f493614fa /src/task.c | |
| parent | e9e4de6729a846c4c99754371c0d1738a0238381 (diff) | |
Patch so Make will die if it detects non-LITMUS^RT kernel headers.
Diffstat (limited to 'src/task.c')
0 files changed, 0 insertions, 0 deletions