]>
Commit | Line | Data |
---|---|---|
7a1551a7 JR |
1 | --- camlp5-rel8.00.old/configure 2020-12-27 22:26:24.000000000 +0000 |
2 | +++ camlp5-rel8.00/configure 2021-02-28 22:38:08.341646880 +0000 | |
3 | @@ -243,11 +243,7 @@ | |
4 | OCAMLC_W_Y="" | |
5 | fi | |
6 | ||
7 | -if [ "$($ocamlc -warn-error +A-11 2>&1)" = "" ]; then | |
8 | - WARNERR="-warn-error +A-11" | |
9 | -else | |
10 | - WARNERR="" | |
11 | -fi | |
12 | +WARNERR="" | |
13 | ||
14 | if make -f config/Makefile.check --no-print-directory >/dev/null 2>&1; then | |
15 | NO_PR_DIR=--no-print-directory |