From 35d7ba392b408d02274044066d3358b77c55743f Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.maroneze@cea.fr>
Date: Thu, 26 Sep 2024 10:13:32 +0200
Subject: [PATCH] [analysis-scripts] stricter default handling of unsupported
 specifications

---
 share/analysis-scripts/template.mk | 1 +
 1 file changed, 1 insertion(+)

diff --git a/share/analysis-scripts/template.mk b/share/analysis-scripts/template.mk
index 8df6a17fa5..f1942b48c0 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    += \
-- 
GitLab