From: whitequark <whitequark@whitequark.org>
Date: Mon, 13 May 2019 16:55:15 +0000 (+0000)
Subject: bugpoint: check for -script option.
X-Git-Tag: yosys-0.9~126
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=c8c1df23a0ddf85b6d5a822299634b42b82a6e15;p=yosys.git

bugpoint: check for -script option.

Fixes #925.
---

diff --git a/passes/cmds/bugpoint.cc b/passes/cmds/bugpoint.cc
index 85e2b0d56..038ab7c7c 100644
--- a/passes/cmds/bugpoint.cc
+++ b/passes/cmds/bugpoint.cc
@@ -281,6 +281,9 @@ struct BugpointPass : public Pass {
 		}
 		extra_args(args, argidx, design);
 
+		if (script.empty())
+			log_cmd_error("Missing -script option.\n");
+
 		if (!has_part)
 		{
 			modules = true;