diff options
| author | Bjoern Brandenburg <bbb@mpi-sws.org> | 2015-08-09 07:18:46 -0400 |
|---|---|---|
| committer | Bjoern Brandenburg <bbb@mpi-sws.org> | 2015-08-09 06:21:17 -0400 |
| commit | 9a645fe1e634842fff554258da495b864ffd5c74 (patch) | |
| tree | ffe7f4edfa88297a3302c494febfc246cf401ff6 /litmus/Makefile | |
| parent | 013e33ea81d54ce418543a4a29a733504cb7b896 (diff) | |
Introduce main LITMUS^RT header
This patch adds a basic litmus/litmus.h, which is required for basic
LITMUS^RT infrastructure to compile.
Diffstat (limited to 'litmus/Makefile')
0 files changed, 0 insertions, 0 deletions