diff options
| author | Jamie Liu <jamieliu@google.com> | 2018-07-09 16:15:14 -0700 |
|---|---|---|
| committer | Shentubot <shentubot@google.com> | 2018-07-09 16:16:19 -0700 |
| commit | 41aeb680b1882c9416e25e100b5ff5eebead36de (patch) | |
| tree | 455f9a1451fa030888d7e6a6c4b448b776998b67 /tools | |
| parent | bf0fa0953763035df6af6fdf7eab3b8c163d90e0 (diff) | |
Inherit parent in clone(CLONE_THREAD) under TaskSet.mu.
PiperOrigin-RevId: 203849534
Change-Id: I4d81513bfd32e0b7fc40c8a4c194eba7abc35a83
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions