From: Eddie Hung <eddie@fpgeh.com>
Date: Mon, 27 Jan 2020 18:32:18 +0000 (-0800)
Subject: verific: no help() when no YOSYS_ENABLE_VERIFIC
X-Git-Tag: working-ls180~831^2~1
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=d730bba6d2847515795c32d3a753320b8b48bee0;p=yosys.git

verific: no help() when no YOSYS_ENABLE_VERIFIC
---

diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
index 79730c98a..05c615768 100644
--- a/frontends/verific/verific.cc
+++ b/frontends/verific/verific.cc
@@ -2073,10 +2073,8 @@ struct VerificPass : public Pass {
 	{
 		static bool set_verific_global_flags = true;
 
-		if (check_noverific_env()) {
-			help();
+		if (check_noverific_env())
 			log_cmd_error("This version of Yosys is built without Verific support.\n");
-                }
 
 		log_header(design, "Executing VERIFIC (loading SystemVerilog and VHDL designs using Verific).\n");
 
@@ -2492,7 +2490,6 @@ struct VerificPass : public Pass {
 	}
 #else /* YOSYS_ENABLE_VERIFIC */
 	void execute(std::vector<std::string>, RTLIL::Design *) YS_OVERRIDE {
-		help();
 		log_cmd_error("This version of Yosys is built without Verific support.\n");
 	}
 #endif