Ekdohibs
/
ocaml
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

check-parser-uptodate-or-warn.sh: Use make syntax for ignoring errors

master
David Allsopp 2019-09-25 15:54:53 +01:00 committed by Gabriel Scherer
parent 87e3630d55
commit 9490f7a89a
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
Makefile
View File

@ -1093,7 +1093,7 @@ parsing/camlinternalMenhirLib.mli: boot/menhir/menhirLib.mli
parsing/parser.ml: boot/menhir/parser.ml parsing/parser.mly \
tools/check-parser-uptodate-or-warn.sh
@tools/check-parser-uptodate-or-warn.sh || true
@-tools/check-parser-uptodate-or-warn.sh
cat $< | sed "s/MenhirLib/CamlinternalMenhirLib/g" > $@
parsing/parser.mli: boot/menhir/parser.mli
cat $< | sed "s/MenhirLib/CamlinternalMenhirLib/g" > $@