aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2013-03-08 21:51:23 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2013-05-27 09:33:57 -0400
commita01feee2d76d70859091fcedb3056f99193eaebb (patch)
tree6ae374042d05ece437cc7c12006f054e3818ac87
parentd23cf3a7591d48b924af0bedf65d01c8f75e5924 (diff)
Pass --sysroot/-isysroot when extracting profile search paths
-rw-r--r--odb/odb.cxx15
1 files changed, 14 insertions, 1 deletions
diff --git a/odb/odb.cxx b/odb/odb.cxx
index 4eb178b..9491252 100644
--- a/odb/odb.cxx
+++ b/odb/odb.cxx
@@ -1179,11 +1179,24 @@ profile_paths (strings const& sargs, char const* name)
else if (a == "-isystem" ||
a == "-iquote" ||
a == "-idirafter" ||
+ a == "-isysroot" ||
a == "-framework")
{
args.push_back (a);
- args.push_back (*(++i));
+
+ if (++i == end)
+ {
+ cerr << name << ": error: expected argument for the " << a
+ << " option" << endl;
+ throw profile_failure ();
+ }
+
+ args.push_back (*i);
}
+ // --sysroot
+ //
+ else if (a.compare (0, 10, "--sysroot=") == 0)
+ args.push_back (a);
// -std
//
else if (a.compare (0, 5, "-std=") == 0)