From e5aeb6345ae767b7b5624576e818287be1b3971f Mon Sep 17 00:00:00 2001
From: simonmar <unknown>
Date: Thu, 2 Dec 1999 13:24:05 +0000
Subject: [PATCH] [project @ 1999-12-02 13:24:05 by simonmar] Fix up code to
print out the phase & signal number if one of the compilation phases receives
a signal. The previous commit accidentally sneaked in a non-working version
of this stuff.
---
ghc/driver/ghc.lprl | 15 ++++++++-------
1 file changed, 8 insertions(+), 7 deletions(-)
diff --git a/ghc/driver/ghc.lprl b/ghc/driver/ghc.lprl
index 8ff1f3f664a4..0fc6fe193048 100644
--- a/ghc/driver/ghc.lprl
+++ b/ghc/driver/ghc.lprl
@@ -2264,6 +2264,14 @@ sub run_something {
local($signal_num) = $? & 127;
local($dumped_core) = $? & 128;
+ if ($signal_num != 0) {
+ print STDERR "$tidy_name received signal $signal_num";
+ if ($dumped_core != 0) {
+ print STDERR " (core dumped)";
+ }
+ print STDERR "\n";
+ }
+
if ($return_val != 0) {
if ($Using_dump_file) {
print STDERR "Compilation Errors dumped in $Specific_dump_file\n";
@@ -2271,13 +2279,6 @@ sub run_something {
&tidy_up_and_die($return_val, '');
}
- if ($signal_num != 0) {
- print STDERR "Phase $tidy_name received signal $signal_num";
- if ($dumped_core != 0) {
- print STDERR " (core dumped)";
- }
- print STDERR "\n";
- }
$Using_dump_file = 0;
}
\end{code}
--
GitLab