diff options
author | Nicolas Geoffray <ngeoffray@google.com> | 2019-08-06 17:40:09 +0100 |
---|---|---|
committer | Nicolas Geoffray <ngeoffray@google.com> | 2019-08-09 07:36:39 +0000 |
commit | fa595885339140c3507f26d93cdc6b99081e23c5 (patch) | |
tree | 19d6240afee048aa37a778f09996c6ecad5266a6 /tools/cpp-define-generator/make_header.py | |
parent | 918e9af6a7259e7178ec10257f568a60e832a962 (diff) |
Fix setting/getting the native priority of a thread.
Bug: 138415922
Test: 720-thread-priority
Change-Id: I6e1f34fce3838b7904281be00f315e5b7ade0c78
Diffstat (limited to 'tools/cpp-define-generator/make_header.py')
0 files changed, 0 insertions, 0 deletions