diff options
| author | Glenn Elliott <gelliott@cs.unc.edu> | 2013-01-08 18:19:43 -0500 |
|---|---|---|
| committer | Glenn Elliott <gelliott@cs.unc.edu> | 2013-01-09 18:09:00 -0500 |
| commit | 29496770fea3c801553b0dc5a2a8e295e490a915 (patch) | |
| tree | 974d2ed0a53be72592383de33bd89f797c5f3ef4 /Makefile | |
| parent | c158b5fbe42dacd34393082b6b8f9f6573ab8c5c (diff) | |
Extend non-rt support to sync-releases.
Note that non-rt tasks are released immediately. That is,
the 'delay' provided to the release_ts() system-call is ignored
for non-rt tasks.
Conflicts:
litmus/sync.c
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions