flambda-backend: Disable warning abut unknown pragma.

ocaml-flambda · Nov 1, 2023 · 2e864d0 · 2e864d0
1 parent 9194341
commit 2e864d0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/configure.ac b/configure.ac
@@ -731,7 +731,7 @@ AS_CASE([$ocaml_cv_cc_vendor],
     cc_warnings=''],
   [outputobj='-o '
   warn_error_flag='-Werror'
-  cc_warnings="-Wall -Wint-conversion -Wstrict-prototypes \
+  cc_warnings="-Wall -Wno-pragmas -Wint-conversion -Wstrict-prototypes \
 -Wold-style-definition"])
 
 AS_CASE([$enable_warn_error,OCAML__DEVELOPMENT_VERSION],