From: Chris Lattner <sabre@nondot.org>
Date: Tue, 14 Oct 2003 22:24:31 +0000 (+0000)
Subject: add support forloading additional .so files on the command line
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=7dac658792425c10274594782d6fcf10208a16f0;p=oota-llvm.git

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

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