bugpoint: check for -script option.

Fixes #925.

diff --git a/passes/cmds/bugpoint.cc b/passes/cmds/bugpoint.cc
index 85e2b0d563e14a86a6cbf94ab6c6393760c42f05..038ab7c7c923b9023f8d6b50f5d6efa7797e28d6 100644 (file)
--- 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;