diff options
author | Manohar Vanga <mvanga@mpi-sws.org> | 2012-10-03 18:35:53 -0400 |
---|---|---|
committer | Bjoern Brandenburg <bbb@mpi-sws.org> | 2012-11-27 13:50:17 -0500 |
commit | e2c4a5f574548f7b2b1d55adab3b02fb2d068ea3 (patch) | |
tree | 0730a4ca08294cd954f56639e516905164914896 /usr | |
parent | b7012aa7edba4b88906fc39b9005ff4dae69be59 (diff) |
litmus: use is_present() instead of using rt_param->present
Signed-off-by: Manohar Vanga <mvanga@mpi-sws.org>
Diffstat (limited to 'usr')
0 files changed, 0 insertions, 0 deletions