diff options
author | Pixel <> | 2001-04-17 02:20:40 +0000 |
---|---|---|
committer | Pixel <> | 2001-04-17 02:20:40 +0000 |
commit | 58dbd2ed918bb9e6f93aed076f8f3de92d41d2f9 (patch) | |
tree | 5a0333f391b042c2b25932fdc7fa2daed12140eb /src | |
parent | 17d89e026ee39bd30f8604ab397708d9bceb2fbf (diff) |
Grou
Diffstat (limited to 'src')
-rw-r--r-- | src/compilo.c | 4 | ||||
-rw-r--r-- | src/linker.c | 2 | ||||
-rw-r--r-- | src/simul.c | 3 |
3 files changed, 8 insertions, 1 deletions
diff --git a/src/compilo.c b/src/compilo.c index d63fb66..b4c44e9 100644 --- a/src/compilo.c +++ b/src/compilo.c @@ -60,7 +60,7 @@ int main(int argc, char **argv) { invite(); -/* signal(SIGSEGV, segfaulthand); */ + signal(SIGSEGV, segfaulthand); if (argc != 3) usage(); @@ -72,6 +72,8 @@ int main(int argc, char **argv) fprintf(stderr, _("\nPerforming shutdown...\n\n")); flush_all(); + + signal(SIGSEGV, NULL); fprintf(stderr, _("Exitting, bye!\n")); return 0; diff --git a/src/linker.c b/src/linker.c index ba1583c..5016703 100644 --- a/src/linker.c +++ b/src/linker.c @@ -62,6 +62,8 @@ int main(int argc, char **argv) fprintf(stderr, _("\nPerforming shutdown...\n\n")); flush_all(); + + signal(SIGSEGV, NULL); fprintf(stderr, _("Exitting, bye!\n")); return 0; diff --git a/src/simul.c b/src/simul.c index 45c8092..7b56ce1 100644 --- a/src/simul.c +++ b/src/simul.c @@ -105,6 +105,9 @@ int main(int argc, char **argv) fprintf(stderr, _("\nPerforming shutdown...\n\n")); flush_all(); + + signal(SIGSEGV, NULL); + signal(SIGINT, NULL); fprintf(stderr, _("Exitting, bye!\n")); return 0; |