From 459ffbfa71366beb87436f02352e33d31c700aab Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Sun, 21 Oct 2018 17:29:02 +0200
Subject: ghdllocal: clean post files.

---
 src/ghdldrv/ghdldrv.adb   | 3 ---
 src/ghdldrv/ghdllocal.adb | 3 +++
 src/ghdldrv/ghdllocal.ads | 3 +++
 3 files changed, 6 insertions(+), 3 deletions(-)

(limited to 'src/ghdldrv')

diff --git a/src/ghdldrv/ghdldrv.adb b/src/ghdldrv/ghdldrv.adb
index 83c54260c..00e26a65c 100644
--- a/src/ghdldrv/ghdldrv.adb
+++ b/src/ghdldrv/ghdldrv.adb
@@ -66,9 +66,6 @@ package body Ghdldrv is
    --  "-fpic" option.
    Dash_Fpic : constant String_Access := new String'("-fpic");
 
-   --  True if --post is present.
-   Flag_Postprocess : Boolean := False;
-
    --  If set, do not assmble
    Flag_Asm : Boolean;
 
diff --git a/src/ghdldrv/ghdllocal.adb b/src/ghdldrv/ghdllocal.adb
index fbc27087e..19481e88b 100644
--- a/src/ghdldrv/ghdllocal.adb
+++ b/src/ghdldrv/ghdllocal.adb
@@ -873,6 +873,9 @@ package body Ghdllocal is
       begin
          Delete (Str & Obj_Suffix.all & Nul);
          Delete (Str & Asm_Suffix & Nul);
+         if Flag_Postprocess then
+            Delete (Str & Post_Suffix & Nul);
+         end if;
       end Delete_Asm_Obj;
 
       procedure Delete_Top_Unit (Str : String) is
diff --git a/src/ghdldrv/ghdllocal.ads b/src/ghdldrv/ghdllocal.ads
index 3624543d8..ff66c4d59 100644
--- a/src/ghdldrv/ghdllocal.ads
+++ b/src/ghdldrv/ghdllocal.ads
@@ -56,6 +56,9 @@ package Ghdllocal is
    --  Set with -v option.
    Flag_Verbose : Boolean := False;
 
+   --  True if --post is present.
+   Flag_Postprocess : Boolean := False;
+
    --  Suffix for asm files.
    Asm_Suffix : constant String := ".s";
 
-- 
cgit v1.2.3