diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-01-21 17:25:36 +0100 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-01-21 17:25:36 +0100 |
commit | e6bb6890b5686602ad39e370e5f07c33b9b48145 (patch) | |
tree | 0e8be73e05024b1af41658aabf7f4cc481f1f586 | |
parent | 8152be7dfb272eafd97692a789a2596b883f413f (diff) | |
download | compcert-e6bb6890b5686602ad39e370e5f07c33b9b48145.tar.gz compcert-e6bb6890b5686602ad39e370e5f07c33b9b48145.zip |
Added warning for strict-sequences.
-rw-r--r-- | Makefile.extr | 2 |
1 files changed, 1 insertions, 1 deletions
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 |