Commit c72f763f authored by Guillaume Melquiond's avatar Guillaume Melquiond

Compile with -keep-locs to allow dead code analysis.

parent 8e2ef3b8
......@@ -98,8 +98,8 @@ INCLUDES = @ZIPINCLUDE@ @MENHIRINCLUDE@
WARNINGS = A-4-9-41-44-45-50-52@5@48
OFLAGS = -w $(WARNINGS) -dtypes -g -I lib/why3 $(INCLUDES)
BFLAGS = -w $(WARNINGS) -dtypes -g -I lib/why3 $(INCLUDES)
OFLAGS = -w $(WARNINGS) -keep-locs -dtypes -g -I lib/why3 $(INCLUDES)
BFLAGS = -w $(WARNINGS) -keep-locs -dtypes -g -I lib/why3 $(INCLUDES)
OLINKFLAGS = -linkall $(EXTCMXA)
BLINKFLAGS = -linkall $(EXTCMA)
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment