From: Eddie Hung <eddie@fpgeh.com>
Date: Sat, 9 Mar 2019 01:56:16 +0000 (+0000)
Subject: Update help message for -chparam
X-Git-Tag: yosys-0.9~254^2
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=ee013fba54f8bca0940143f655f5b4ad3d7b7b96;p=yosys.git

Update help message for -chparam
---

diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
index 4ba96d251..c412cd3a3 100644
--- a/frontends/verific/verific.cc
+++ b/frontends/verific/verific.cc
@@ -1857,7 +1857,8 @@ struct VerificPass : public Pass {
 		log("\n");
 		log("  -chparam name value \n");
 		log("    Elaborate the specified top modules (all modules when -all given) using\n");
-		log("    this parameter value, for modules where this parameter exists. This option\n");
+		log("    this parameter value. Modules on which this parameter does not exist will\n");
+		log("    cause Verific to produce a VERI-1928 or VHDL-1676 message. This option\n");
 		log("    can be specified multiple times to override multiple parameters.\n");
 		log("    String values must be passed in double quotes (\").\n");
 		log("\n");