diff 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) $< |