main.c, SETJMP compare value
This commit is contained in:
parent
3cbef0b647
commit
75c10da5b5
|
|
@ -1055,7 +1055,7 @@ main(int argc, char **argv)
|
||||||
ft_cpinit();
|
ft_cpinit();
|
||||||
|
|
||||||
/* To catch interrupts during .spiceinit... */
|
/* To catch interrupts during .spiceinit... */
|
||||||
if (SETJMP(jbuf, 1) == 1) {
|
if (SETJMP(jbuf, 1)) {
|
||||||
fprintf(cp_err, "Warning: error executing .spiceinit.\n");
|
fprintf(cp_err, "Warning: error executing .spiceinit.\n");
|
||||||
if (!ft_batchmode)
|
if (!ft_batchmode)
|
||||||
goto bot;
|
goto bot;
|
||||||
|
|
@ -1118,7 +1118,7 @@ bot:
|
||||||
* build a circuit for this file. If this is in server mode, don't
|
* build a circuit for this file. If this is in server mode, don't
|
||||||
* process any of these args. */
|
* process any of these args. */
|
||||||
|
|
||||||
if (SETJMP(jbuf, 1) == 1)
|
if (SETJMP(jbuf, 1))
|
||||||
goto evl;
|
goto evl;
|
||||||
|
|
||||||
cp_interactive = FALSE;
|
cp_interactive = FALSE;
|
||||||
|
|
|
||||||
Loading…
Reference in New Issue