diff options
| author | Bjoern Brandenburg <bbb@mpi-sws.org> | 2016-02-14 08:56:40 -0500 |
|---|---|---|
| committer | Bjoern Brandenburg <bbb@mpi-sws.org> | 2016-03-08 10:12:49 -0500 |
| commit | a83a958e62cb903e14bc458a5ace4b9f380fc802 (patch) | |
| tree | a8a0a2cea9d0cfd31f5f989b92da7202048ad187 /tools/perf/https: | |
| parent | 5c3fc90c1f92c65f315166f8de9071615c08c088 (diff) | |
LITMUS^RT core: add should_wait_for_stack() callback
Allow plugins to give up when waiting for a stack to become available.
Diffstat (limited to 'tools/perf/https:')
0 files changed, 0 insertions, 0 deletions