diff options
| author | Cory Fields <cory-nospam-@coryfields.com> | 2015-06-15 15:46:02 -0400 |
|---|---|---|
| committer | Wladimir J. van der Laan <laanwj@gmail.com> | 2015-06-16 13:57:21 +0200 |
| commit | ef1d5060544fd4f468a19b090fabae5e3be84e1e (patch) | |
| tree | 83c93e1eb652b826522631c22256ea5916e8397f /doc | |
| parent | 2617b75e15fc93a8a4652933fc56fdcc92851b9e (diff) | |
Fix scheduler build with some boost versions.
Some boost versions have a conflicting overload of wait_until that returns void.
Explicitly use a template here to avoid hitting that overload.
Github-Pull: #6285
Rebased-From: 72bf90d770ce5b2653fd482928646cd6a9f5f6d7
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions