Re: [patch] Only define JMP_BUF_SIZE in backends that also define DONT_USE_BUILTIN_SETJMP

[DJ Delorie]

> But we can certainly remove stuff that doesn't do anything; in particular, 
> these 3 lines
> 
> /*#define DONT_USE_BUILTIN_SETJMP 1*/
> #undef DONT_USE_BUILTIN_SETJMP
> #define JMP_BUF_SIZE (8*3+8)
> 
> can be proved to be equivalent to the empty set.

If you say so, go for it ;-)