aboutsummaryrefslogtreecommitdiffstats
path: root/src/grt/grt-main.adb
diff options
context:
space:
mode:
authorTristan Gingold <tgingold@free.fr>2015-05-21 07:00:35 +0200
committerTristan Gingold <tgingold@free.fr>2015-05-21 07:00:35 +0200
commit3826656eaff634b0349b610f274203b3026d3f87 (patch)
tree402c0f3537664318e0007f347d3dd59d9eb806d8 /src/grt/grt-main.adb
parentbd1885c3d60019a28bb8261d8a17cef5533d27f9 (diff)
downloadghdl-3826656eaff634b0349b610f274203b3026d3f87.tar.gz
ghdl-3826656eaff634b0349b610f274203b3026d3f87.tar.bz2
ghdl-3826656eaff634b0349b610f274203b3026d3f87.zip
Rework exit handling to correctly report exit status.
Fix ticket 77.
Diffstat (limited to 'src/grt/grt-main.adb')
-rw-r--r--src/grt/grt-main.adb4
1 files changed, 4 insertions, 0 deletions
diff --git a/src/grt/grt-main.adb b/src/grt/grt-main.adb
index 6d595b4cc..4d4106bee 100644
--- a/src/grt/grt-main.adb
+++ b/src/grt/grt-main.adb
@@ -182,6 +182,10 @@ package body Grt.Main is
Disp_Stats_Hook (0);
end if;
+ if Status = -2 then
+ return;
+ end if;
+
if Expect_Failure then
if Status >= 0 then
Expect_Failure := False;