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 /Makefile.extr | |
| parent | 8152be7dfb272eafd97692a789a2596b883f413f (diff) | |
| download | compcert-kvx-e6bb6890b5686602ad39e370e5f07c33b9b48145.tar.gz compcert-kvx-e6bb6890b5686602ad39e370e5f07c33b9b48145.zip | |
Added warning for strict-sequences.
Diffstat (limited to 'Makefile.extr')
| -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 |