K 10 svn:author V 2 jb K 8 svn:date V 27 1998-01-10T23:00:06.000000Z K 7 svn:log V 114 Add a machine dependent header to size the jmpbuf instead of piling machine dependencies in src/include/setjmp.h. END