diff options
Diffstat (limited to 'libf2c/libF77/sig_die.c')
| -rw-r--r-- | libf2c/libF77/sig_die.c | 38 |
1 files changed, 20 insertions, 18 deletions
diff --git a/libf2c/libF77/sig_die.c b/libf2c/libF77/sig_die.c index 7ed419aa354..622462e248b 100644 --- a/libf2c/libF77/sig_die.c +++ b/libf2c/libF77/sig_die.c @@ -8,28 +8,30 @@ #endif #include <stdlib.h> - extern void f_exit(void); +extern void f_exit (void); -void sig_die(register char *s, int kill) +void +sig_die (register char *s, int kill) { - /* print error message, then clear buffers */ - fprintf(stderr, "%s\n", s); + /* print error message, then clear buffers */ + fprintf (stderr, "%s\n", s); - if(kill) - { - fflush(stderr); - f_exit(); - fflush(stderr); - /* now get a core */ + if (kill) + { + fflush (stderr); + f_exit (); + fflush (stderr); + /* now get a core */ #ifdef SIGIOT - signal(SIGIOT, SIG_DFL); + signal (SIGIOT, SIG_DFL); #endif - abort(); - } - else { + abort (); + } + else + { #ifdef NO_ONEXIT - f_exit(); + f_exit (); #endif - exit(1); - } - } + exit (1); + } +} |