Remove obsolete comment about NON_SAVING_SETJMP.

This commit is contained in:
Paul Eggert 2013-01-11 17:47:07 -08:00
parent ee56a6dc2f
commit fbc9ce11fa

View file

@ -4446,11 +4446,6 @@ mark_memory (void *start, void *end)
}
}
/* setjmp will work with GCC unless NON_SAVING_SETJMP is defined in
the GCC system configuration. In gcc 3.2, the only systems for
which this is so are i386-sco5 non-ELF, i386-sysv3 (maybe included
by others?) and ns32k-pc532-min. */
#if !defined GC_SAVE_REGISTERS_ON_STACK && !defined GC_SETJMP_WORKS
static bool setjmp_tested_p;