aboutsummaryrefslogtreecommitdiffstats
path: root/litmus/Makefile
diff options
context:
space:
mode:
authorBjoern Brandenburg <bbb@mpi-sws.org>2015-08-09 07:18:47 -0400
committerBjoern Brandenburg <bbb@mpi-sws.org>2015-08-09 06:21:17 -0400
commit508f1b71ac3563b5cbb6d9ca398a30ff3e3a034d (patch)
tree333fa3bc4a4a867512f2fbc04fc89941b93d2012 /litmus/Makefile
parent9a645fe1e634842fff554258da495b864ffd5c74 (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