Commit 0a02aefd authored by Valentin Perrelle's avatar Valentin Perrelle

Merge branch 'fix/andre/analysis-scripts-no-permissive' into 'master'

[analysis-scripts] remove now-unnecessary -permissive flag

See merge request frama-c/frama-c!2929
parents fb1caba6 1cd1f4e5
......@@ -118,7 +118,7 @@ EVAFLAGS ?= \
-eva-print-callstacks -eva-warn-key alarm=inactive \
-no-deps-print -no-calldeps-print \
-eva-warn-key garbled-mix \
-calldeps -permissive -from-verbose 0 \
-calldeps -from-verbose 0 \
$(if $(EVABUILTINS), -eva-builtin=$(call fc_list,$(EVABUILTINS)),) \
$(if $(EVAUSESPECS), -eva-use-spec $(call fc_list,$(EVAUSESPECS)),)
FCFLAGS ?=
......
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