From fbc9ce11fa593f2fb87a8a0ea5f1b7a78bd13425 Mon Sep 17 00:00:00 2001 From: Paul Eggert Date: Fri, 11 Jan 2013 17:47:07 -0800 Subject: [PATCH] Remove obsolete comment about NON_SAVING_SETJMP. --- src/alloc.c | 5 ----- 1 file changed, 5 deletions(-) diff --git a/src/alloc.c b/src/alloc.c index 8dc3f11e80a..b147aa20723 100644 --- a/src/alloc.c +++ b/src/alloc.c @@ -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; -- 2.39.5