diff --git a/share/analysis-scripts/template.mk b/share/analysis-scripts/template.mk index 8df6a17fa54710ab821c8b8e60457c114092be60..f1942b48c00f13ef03d075d08697e89ccfcc1441 100644 --- a/share/analysis-scripts/template.mk +++ b/share/analysis-scripts/template.mk @@ -54,6 +54,7 @@ FCFLAGS += \ ## Eva-specific flags EVAFLAGS += \ -eva-warn-key builtins:missing-spec=abort \ + -eva-warn-key libc:unsupported-spec=abort \ ## WP-specific flags WPFLAGS += \