From 7dac658792425c10274594782d6fcf10208a16f0 Mon Sep 17 00:00:00 2001
From: Chris Lattner <sabre@nondot.org>
Date: Tue, 14 Oct 2003 22:24:31 +0000
Subject: [PATCH] add support forloading additional .so files on the command
 line

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@9131 91177308-0d34-0410-b5e6-96231b3b80d8
---
 tools/bugpoint/ExecutionDriver.cpp | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/tools/bugpoint/ExecutionDriver.cpp b/tools/bugpoint/ExecutionDriver.cpp
index 749dac5fe23..e0e0b70c572 100644
--- a/tools/bugpoint/ExecutionDriver.cpp
+++ b/tools/bugpoint/ExecutionDriver.cpp
@@ -42,6 +42,11 @@ namespace {
   cl::opt<std::string>
   InputFile("input", cl::init("/dev/null"),
             cl::desc("Filename to pipe in as stdin (default: /dev/null)"));
+
+  cl::list<std::string>
+  AdditionalSOs("additional-so",
+                cl::desc("Additional shared objects to load "
+                         "into executing programs"));
 }
 
 // Anything specified after the --args option are taken as arguments to the
@@ -125,7 +130,7 @@ std::string BugDriver::executeProgram(std::string OutputFile,
   OutputFile = getUniqueFilename(OutputFile);
 
   // Figure out which shared objects to run, if any.
-  std::vector<std::string> SharedObjs;
+  std::vector<std::string> SharedObjs(AdditionalSOs);
   if (!SharedObj.empty())
     SharedObjs.push_back(SharedObj);