diff options
author | Bjoern Brandenburg <bbb@mpi-sws.org> | 2015-08-09 07:18:47 -0400 |
---|---|---|
committer | Bjoern Brandenburg <bbb@mpi-sws.org> | 2015-08-09 06:21:17 -0400 |
commit | 508f1b71ac3563b5cbb6d9ca398a30ff3e3a034d (patch) | |
tree | 333fa3bc4a4a867512f2fbc04fc89941b93d2012 /litmus/Makefile | |
parent | 9a645fe1e634842fff554258da495b864ffd5c74 (diff) |
Feather-Trace: use proper definition of is_realtime()
Remove dummy implementation of is_realtime() in trace.c.
Diffstat (limited to 'litmus/Makefile')
0 files changed, 0 insertions, 0 deletions