aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2017-05-02 19:53:07 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2017-05-02 19:53:07 +0200
commit1dcd92e762beb8e6a5abfdbd025df28eeda5fd51 (patch)
tree63d703ac42a6e431de39203df312d36d148a439f
parentedb2ee4d94601699bba73652a355cbdb6da8e879 (diff)
Suppress unknown pragma warning
-rw-r--r--build/root.build4
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