Skip to content
Snippets Groups Projects
Commit 35d7ba39 authored by Andre Maroneze's avatar Andre Maroneze Committed by David Bühler
Browse files

[analysis-scripts] stricter default handling of unsupported specifications

parent e5b0fdbb
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
share/analysis-scripts/template.mk
+ 1
− 0
View file @ 35d7ba39
...@@ -54,6 +54,7 @@ FCFLAGS += \ ...@@ -54,6 +54,7 @@ FCFLAGS += \
## Eva-specific flags ## Eva-specific flags
EVAFLAGS += \ EVAFLAGS += \
-eva-warn-key builtins:missing-spec=abort \ -eva-warn-key builtins:missing-spec=abort \
-eva-warn-key libc:unsupported-spec=abort \
## WP-specific flags ## WP-specific flags
WPFLAGS += \ WPFLAGS += \
......
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