1 files changed, 7 insertions, 0 deletions
diff --git a/nonstd/public/setjmp.h b/nonstd/public/setjmp.h
new file mode 100644
index 00000000..fb510bdc
--- /dev/null
+++ b/nonstd/public/setjmp.h
@@ -0,0 +1,7 @@
+#include <setjmp.h>
+
+int __setjmp(jmp_buf env)
+{
+	(void)env;
+	return 0;
+}