1 files changed, 7 insertions, 0 deletions
diff --git a/REORG.TODO/bits/setjmp.h b/REORG.TODO/bits/setjmp.h
new file mode 100644
index 0000000000..9150d8d764
--- /dev/null
+++ b/REORG.TODO/bits/setjmp.h
@@ -0,0 +1,7 @@
+/* Define the machine-dependent type `jmp_buf'.  Stub version.  */
+
+#ifndef _SETJMP_H
+# error "Never include <bits/setjmp.h> directly; use <setjmp.h> instead."
+#endif
+
+typedef int __jmp_buf[1];