1 files changed, 5 insertions, 1 deletions

diff --git a/utils/regtools/headergen.cpp b/utils/regtools/headergen.cpp
index a95dc46215..b4ade5f186 100644
--- a/utils/regtools/headergen.cpp
+++ b/utils/regtools/headergen.cpp
@@ -574,11 +574,15 @@ int main(int argc, char **argv)
 
     std::vector< soc_t > socs;
     for(int i = optind; i < argc - 1; i++)
-        if(!soc_desc_parse_xml(argv[i], socs))
+    {
+        soc_t s;
+        if(!soc_desc_parse_xml(argv[i], s))
         {
             printf("Cannot parse %s\n", argv[i]);
             return 1;
         }
+        socs.push_back(s);
+    }
 
     g_gen_selector = force_selector || socs.size() > 1;