diff options
| author | whitequark <whitequark@whitequark.org> | 2019-05-13 16:55:15 +0000 |
|---|---|---|
| committer | whitequark <whitequark@whitequark.org> | 2019-05-14 10:48:06 +0000 |
| commit | c8c1df23a0ddf85b6d5a822299634b42b82a6e15 (patch) | |
| tree | a029d989eaf26ceb170af8aeae0f64e1140f0488 /passes/cmds/bugpoint.cc | |
| parent | 5772732a6d24bbf1a46301f03623567079316f7a (diff) | |
| download | yosys-c8c1df23a0ddf85b6d5a822299634b42b82a6e15.tar.gz yosys-c8c1df23a0ddf85b6d5a822299634b42b82a6e15.tar.bz2 yosys-c8c1df23a0ddf85b6d5a822299634b42b82a6e15.zip | |
bugpoint: check for -script option.
Fixes #925.
Diffstat (limited to 'passes/cmds/bugpoint.cc')
| -rw-r--r-- | passes/cmds/bugpoint.cc | 3 |
1 files changed, 3 insertions, 0 deletions
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; |