commit b1c67b9c2ce6573d7d51706d2b99d9d68daa4acf
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

Update signal names.

Use MX_TASK_TERMINATED instead of MX_SIGNAL_SIGNALED.

Change-Id: I52a49fa30d73c0f2f27fb7e7cc272e5c6002901b

patches/gcc-patch.txt

diff --git a/patches/gcc-patch.txt b/patches/gcc-patch.txt
index 69bacaf..262c0ff 100644
--- a/patches/gcc-patch.txt
+++ b/patches/gcc-patch.txt
@@ -1121,7 +1121,7 @@
 !   if (pid <= 0)
 !     return -1;
 ! 
-!   wait_result = mx_handle_wait_one ((mx_handle_t) pid, MX_SIGNAL_SIGNALED,
+!   wait_result = mx_handle_wait_one ((mx_handle_t) pid, MX_TASK_TERMINATED,
 ! 				    MX_TIME_INFINITE, NULL);
 ! 
 !   if (wait_result != NO_ERROR)