diff options
author | Boris Kolpackov <boris@codesynthesis.com> | 2010-09-15 18:11:43 +0200 |
---|---|---|
committer | Boris Kolpackov <boris@codesynthesis.com> | 2010-09-15 18:11:43 +0200 |
commit | 8f9b4402eb66c3fe3c988ff7bb2ec5b159c422ce (patch) | |
tree | 9b290d2105f1b5c633486db9911cfa61642a9c79 | |
parent | bccebbfb3557b47382d0aa998b110e542607d30b (diff) |
Warn about unknown pragmas
-rw-r--r-- | odb/odb.cxx | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/odb/odb.cxx b/odb/odb.cxx index 79c6b82..b7dc16a 100644 --- a/odb/odb.cxx +++ b/odb/odb.cxx @@ -100,6 +100,7 @@ main (int argc, char* argv[]) args.push_back ("-x"); args.push_back ("c++"); args.push_back ("-S"); + args.push_back ("-Wunknown-pragmas"); args.push_back ("-fplugin=" + plugin.string ()); // Parse driver options. |