From a5f34d04f8f3f9305c18bdfb79e13e59ac15ac39 Mon Sep 17 00:00:00 2001
From: Jason Xu <40355221+JasonBrave@users.noreply.github.com>
Date: Tue, 11 Mar 2025 18:50:44 -0400
Subject: [PATCH] Address comments

---
 frontends/verific/verific.cc          | 4 ++++
 frontends/verilog/verilog_frontend.cc | 9 ++++++---
 2 files changed, 10 insertions(+), 3 deletions(-)

diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
index 19f17b0ff..a320a6efd 100644
--- a/frontends/verific/verific.cc
+++ b/frontends/verific/verific.cc
@@ -4413,7 +4413,11 @@ struct ReadPass : public Pass {
 			if (use_verific) {
 				args[0] = "verific";
 			} else {
+#if !defined(__wasm)
 				args[0] = "read_verilog_file_list";
+#else
+				cmd_error(args, 1, "Command files are not supported on this platform.\n");
+#endif
 			}
 			Pass::call(design, args);
 			return;
diff --git a/frontends/verilog/verilog_frontend.cc b/frontends/verilog/verilog_frontend.cc
index 737481743..e4e705c39 100644
--- a/frontends/verilog/verilog_frontend.cc
+++ b/frontends/verilog/verilog_frontend.cc
@@ -722,13 +722,16 @@ struct VerilogFileList : public Pass {
 		log("\n");
 		log("    read_verilog_file_list [options]\n");
 		log("\n");
-		log("Parse a Verilog file list, and pass the list of Verilog files to read_verilog command.\n");
+		log("Parse a Verilog file list, and pass the list of Verilog files to read_verilog\n");
+		log("command\n");
 		log("\n");
 		log("    -F file_list_path\n");
-		log("        File list file contains list of Verilog files to be parsed, any path is treated relative to the file list file\n");
+		log("        File list file contains list of Verilog files to be parsed, any path is\n");
+		log("        treated relative to the file list file\n");
 		log("\n");
 		log("    -f file_list_path\n");
-		log("        File list file contains list of Verilog files to be parsed, any path is treated relative to current working directroy\n");
+		log("        File list file contains list of Verilog files to be parsed, any path is\n");
+		log("        treated relative to current working directroy\n");
 		log("\n");
 	}