diff options
author | Boris Kolpackov <boris@codesynthesis.com> | 2013-03-08 21:51:23 +0200 |
---|---|---|
committer | Boris Kolpackov <boris@codesynthesis.com> | 2013-05-27 09:33:57 -0400 |
commit | a01feee2d76d70859091fcedb3056f99193eaebb (patch) | |
tree | 6ae374042d05ece437cc7c12006f054e3818ac87 /odb/odb.cxx | |
parent | d23cf3a7591d48b924af0bedf65d01c8f75e5924 (diff) |
Pass --sysroot/-isysroot when extracting profile search paths
Diffstat (limited to 'odb/odb.cxx')
-rw-r--r-- | odb/odb.cxx | 15 |
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) |