diff options
author | Boris Kolpackov <boris@codesynthesis.com> | 2013-03-08 21:51:23 +0200 |
---|---|---|
committer | Boris Kolpackov <boris@codesynthesis.com> | 2013-03-08 21:51:23 +0200 |
commit | 113a5dd44ebef3b358fe09015b03576cff583043 (patch) | |
tree | b6553e763cc0a9d905734e36e1281ad290921c54 /odb/odb.cxx | |
parent | 011140b688ec6e5401b98408abef2d73a2e38425 (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) |