diff options
author | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2022-08-24 16:30:12 +0200 |
---|---|---|
committer | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2022-08-25 10:27:34 +0200 |
commit | a4095ec19e9641064a1fabac322dbb007b6c85cf (patch) | |
tree | 13a22395dd9948fe73cd81b929d97535ee61420d /Makefile.common | |
parent | dc41b0547a8c008a059463a782f6e2873bc9531d (diff) | |
download | ocaml-a4095ec19e9641064a1fabac322dbb007b6c85cf.tar.gz |
Pass the same flags to ocamlyacc consistently
Make sure ocamlyacc is always called with -v and --strict.
Before this commit, the parsers of the debugger and of ocamltest
were not generated using these options.
Diffstat (limited to 'Makefile.common')
-rw-r--r-- | Makefile.common | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.common b/Makefile.common index 63afbd5e25..35ee040af6 100644 --- a/Makefile.common +++ b/Makefile.common @@ -193,7 +193,7 @@ OCAMLLEXFLAGS ?= -q OCAMLYACC ?= $(ROOTDIR)/yacc/ocamlyacc$(EXE) -OCAMLYACCFLAGS ?= +OCAMLYACCFLAGS ?= --strict -v %.ml %.mli: %.mly $(OCAMLYACC) $(OCAMLYACCFLAGS) $< |