From 1bc56fcc93dda3dee62492f7985efb775344299a Mon Sep 17 00:00:00 2001
From: Michael <tapil@users.sourceforge.net>
Date: Fri, 4 Apr 2008 21:22:46 -0700
Subject: [PATCH] Delete all temporary files even when using -E flag

The -E flag causes the driver to exit early. Be careful to delete
all the various temporary files even in this case.
---
 driver/main.c | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/driver/main.c b/driver/main.c
index 6c53359aa..8d0dc92c6 100644
--- a/driver/main.c
+++ b/driver/main.c
@@ -806,8 +806,11 @@ int main(int argc, char **argv)
 	    rc = system(cmd);
 	    remove(source_path);
 	    fclose(iconfig_file);
-	    if ( ! getenv("IVERILOG_ICONFIG"))
+	    if ( ! getenv("IVERILOG_ICONFIG")) {
 		  remove(iconfig_path);
+		  remove(defines_path);
+		  remove(compiled_defines_path);
+	    }
 
 	    if (rc != 0) {
 		  if (WIFEXITED(rc)) {