From c8c1df23a0ddf85b6d5a822299634b42b82a6e15 Mon Sep 17 00:00:00 2001
From: whitequark <whitequark@whitequark.org>
Date: Mon, 13 May 2019 16:55:15 +0000
Subject: [PATCH] bugpoint: check for -script option.

Fixes #925.
---
 passes/cmds/bugpoint.cc | 3 +++
 1 file changed, 3 insertions(+)

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;
-- 
2.30.2