avoid setjmp if we can do it.

This commit is contained in:
Costa Vitor 2009-06-02 18:08:40 -05:00
parent adb25ff96f
commit 2daccab1cb
1 changed files with 0 additions and 9 deletions

View File

@ -1427,15 +1427,6 @@ InteractSIGINT(int ch) {
} else {
Yap_Error(PURE_ABORT, TermNil, "abort from console");
/* in case someone mangles the P register */
save_machine_regs();
#if _MSC_VER || defined(__MINGW32__)
/* don't even think about trying this */
#else
#if PUSH_REGS
restore_absmi_regs(&Yap_standard_regs);
#endif
siglongjmp (Yap_RestartEnv, 1);
#endif
}
return -1;
case 'b':