From 0452b7716911ebdc8eb90142f2eb275f7dd3f901 Mon Sep 17 00:00:00 2001
From: JCB <james.brodman@intel.com>
Date: Tue, 20 Aug 2013 15:25:53 -0400
Subject: [PATCH] Generate multiple headers for multiple targets.

---
 module.cpp | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/module.cpp b/module.cpp
index 5cb87bc2..24c8b7a0 100644
--- a/module.cpp
+++ b/module.cpp
@@ -2414,9 +2414,13 @@ Module::CompileAndOutput(const char *srcFile,
 
             // Only write the generate header file, if desired, the first
             // time through the loop here.
-            if (i == 0 && headerFileName != NULL)
-                if (!m->writeOutput(Module::Header, headerFileName))
+            if (headerFileName != NULL) {
+                const char *isaName = g->target->GetISAString();
+                std::string targetHeaderFileName = 
+                    lGetTargetFileName(headerFileName, isaName);
+                if (!m->writeOutput(Module::Header, targetHeaderFileName.c_str()))
                     return 1;
+            }
 
             delete g->target;
             g->target = NULL;