Include filename in "Executing Verilog-2005 frontend" message, fixes #959

Signed-off-by: Clifford Wolf <clifford@clifford.at>

diff --git a/frontends/verilog/verilog_frontend.cc b/frontends/verilog/verilog_frontend.cc
index ed6ce2ecb80075ed5c19eb1eeb8eb7fccd0f3939..9e624d355d52a3efa95f9430bc8871c3746f99a2 100644 (file)
--- a/frontends/verilog/verilog_frontend.cc
+++ b/frontends/verilog/verilog_frontend.cc
@@ -242,8 +242,6 @@ struct VerilogFrontend : public Frontend {
                nowb_mode = false;
                default_nettype_wire = true;
 
-               log_header(design, "Executing Verilog-2005 frontend.\n");
-
                args.insert(args.begin()+1, verilog_defaults.begin(), verilog_defaults.end());
 
                size_t argidx;
@@ -415,6 +413,8 @@ struct VerilogFrontend : public Frontend {
                }
                extra_args(f, filename, args, argidx);
 
+               log_header(design, "Executing Verilog-2005 frontend: %s\n", filename.c_str());
+
                log("Parsing %s%s input from `%s' to AST representation.\n",
                                formal_mode ? "formal " : "", sv_mode ? "SystemVerilog" : "Verilog", filename.c_str());