From 692a0fa33be72a5987e6ffe1cd591d2d501da507 Mon Sep 17 00:00:00 2001
From: "N. Engelhardt" <nak@yosyshq.com>
Date: Wed, 11 Jan 2023 18:34:24 +0100
Subject: print filename in liberty log_header

---
 frontends/liberty/liberty.cc | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'frontends/liberty')

diff --git a/frontends/liberty/liberty.cc b/frontends/liberty/liberty.cc
index 188ef2e04..cadbcaee6 100644
--- a/frontends/liberty/liberty.cc
+++ b/frontends/liberty/liberty.cc
@@ -500,8 +500,6 @@ struct LibertyFrontend : public Frontend {
 		bool flag_ignore_miss_data_latch = false;
 		std::vector<std::string> attributes;
 
-		log_header(design, "Executing Liberty frontend.\n");
-
 		size_t argidx;
 		for (argidx = 1; argidx < args.size(); argidx++) {
 			std::string arg = args[argidx];
@@ -546,6 +544,8 @@ struct LibertyFrontend : public Frontend {
 		if (flag_wb && flag_lib)
 			log_error("-wb and -lib cannot be specified together!\n");
 
+		log_header(design, "Executing Liberty frontend: %s\n", filename.c_str());
+
 		LibertyParser parser(*f);
 		int cell_count = 0;
 
-- 
cgit v1.2.3