b1c67b9c2ce6573d7d51706d2b99d9d68daa4acf - third_party/gcc_none_toolchains

commit: b1c67b9c2ce6573d7d51706d2b99d9d68daa4acf
[log]
author: Josh Conner <joshconner@google.com>
Tue Jan 17 09:19:56 2017 -0800
committer: Josh Conner <joshconner@google.com>
Tue Jan 17 09:19:56 2017 -0800
tree: 4231281636309030a7a755b69307ee0c56d21f25
parent: d23936b606b7141fee8e444036c3172c3cb304b2 [diff]

Update signal names.

Use MX_TASK_TERMINATED instead of MX_SIGNAL_SIGNALED.

Change-Id: I52a49fa30d73c0f2f27fb7e7cc272e5c6002901b

1 file changed

tree: 4231281636309030a7a755b69307ee0c56d21f25