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 /ocamldoc/Makefile | |
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 'ocamldoc/Makefile')
-rw-r--r-- | ocamldoc/Makefile | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/ocamldoc/Makefile b/ocamldoc/Makefile index 763e23f2aa..7f65403414 100644 --- a/ocamldoc/Makefile +++ b/ocamldoc/Makefile @@ -18,8 +18,6 @@ ROOTDIR = .. include $(ROOTDIR)/Makefile.common include $(ROOTDIR)/Makefile.best_binaries -OCAMLYACCFLAGS = --strict -v - OCAMLC = $(BEST_OCAMLC) $(STDLIBFLAGS) OCAMLOPT = $(BEST_OCAMLOPT) $(STDLIBFLAGS) |