diff options
| -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. |