From e6bb6890b5686602ad39e370e5f07c33b9b48145 Mon Sep 17 00:00:00 2001 From: Bernhard Schommer Date: Thu, 21 Jan 2016 17:25:36 +0100 Subject: Added warning for strict-sequences. --- Makefile.extr | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Makefile.extr') diff --git a/Makefile.extr b/Makefile.extr index 4a95a489..87d5107d 100644 --- a/Makefile.extr +++ b/Makefile.extr @@ -38,7 +38,7 @@ INCLUDES=$(patsubst %,-I %, $(DIRS)) # warning 3 = deprecated feature. Turned off for OCaml 4.02 (bytes vs strings) # warning 20 = unused function argument. There are some in extracted code -WARNINGS=-w -3 +WARNINGS=-w -3 -strict-sequence extraction/%.cmx: WARNINGS +=-w -20 extraction/%.cmo: WARNINGS +=-w -20 -- cgit