1 /* Define the machine-dependent type `jmp_buf'. Stub version. */
4 # error "Never include <bits/setjmp.h> directly; use <setjmp.h> instead."
7 /* XXX This should go into different files!!! */
10 typedef int __jmp_buf
[100];
11 #endif /* __hp9000s300 */
14 typedef double __jmp_buf
[25];
15 #endif /* __hp9000s800 */