]> git.pld-linux.org Git - packages/camlp5.git/blobdiff - no-warn-error.patch
- up to 8.00
[packages/camlp5.git] / no-warn-error.patch
diff --git a/no-warn-error.patch b/no-warn-error.patch
new file mode 100644 (file)
index 0000000..9511c65
--- /dev/null
@@ -0,0 +1,15 @@
+--- camlp5-rel8.00.old/configure       2020-12-27 22:26:24.000000000 +0000
++++ camlp5-rel8.00/configure   2021-02-28 22:38:08.341646880 +0000
+@@ -243,11 +243,7 @@
+   OCAMLC_W_Y=""
+ fi
+-if [ "$($ocamlc -warn-error +A-11 2>&1)" = "" ]; then
+-  WARNERR="-warn-error +A-11"
+-else
+-  WARNERR=""
+-fi
++WARNERR=""
+ if make -f config/Makefile.check --no-print-directory >/dev/null 2>&1; then
+   NO_PR_DIR=--no-print-directory
This page took 0.046855 seconds and 4 git commands to generate.