diff options
| author | Boris Kolpackov <boris@codesynthesis.com> | 2017-05-02 19:53:07 +0200 |
|---|---|---|
| committer | Boris Kolpackov <boris@codesynthesis.com> | 2017-05-02 19:53:07 +0200 |
| commit | 1dcd92e762beb8e6a5abfdbd025df28eeda5fd51 (patch) | |
| tree | 63d703ac42a6e431de39203df312d36d148a439f | |
| parent | edb2ee4d94601699bba73652a355cbdb6da8e879 (diff) | |
Suppress unknown pragma warning
| -rw-r--r-- | build/root.build | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/build/root.build b/build/root.build index d75dbcf..09a03ce 100644 --- a/build/root.build +++ b/build/root.build @@ -13,6 +13,10 @@ cxx{*}: extension = cxx cxx.poptions =+ "-I$out_root" "-I$src_root" +# Disable "unknown pragma" warnings. +# +cxx.coptions += -Wno-unknown-pragmas + # Load the cli module but only if it's available. This way a distribution # that includes pre-generated files can be built without installing cli. # This is also the reason why we need to explicitly spell out individual |