commit 46b44160e9e4c466be0faf1bb8d6ec70ecc83273
author Josh Gao <jmgao@google.com> Fri May 27 11:14:16 2016 -0700
committer Josh Gao <jmgao@google.com> Thu Jun 02 13:40:35 2016 -0700
tree 80036c736b6315189745423724f1d69cb3b74682
parent 6e9c1f61d8ea04d35d18709e373da355ca32e523

Update header versions for NDK platform fixes.

Bug: http://b/28178111
Change-Id: Icd638673b409aa43a91490f77c6b4d79c9ea20d9

libc/include/setjmp.h

diff --git a/libc/include/setjmp.h b/libc/include/setjmp.h
index 02b06f5..7adeb35 100644
--- a/libc/include/setjmp.h
+++ b/libc/include/setjmp.h
@@ -54,8 +54,10 @@
 int     setjmp(jmp_buf);
 void    longjmp(jmp_buf, int);
 
-int     sigsetjmp(sigjmp_buf, int);
-void    siglongjmp(sigjmp_buf, int);
+int sigsetjmp(sigjmp_buf, int) __INTRODUCED_IN_ARM(9) __INTRODUCED_IN_MIPS(12)
+    __INTRODUCED_IN_X86(12);
+void siglongjmp(sigjmp_buf, int) __INTRODUCED_IN_ARM(9) __INTRODUCED_IN_MIPS(12)
+    __INTRODUCED_IN_X86(12);
 
 __END_DECLS