diff --git a/src/plugins/e-acsl/tests/temporal/t_getenv.c b/src/plugins/e-acsl/tests/temporal/t_getenv.c
index 1bb3e9a7d47b6ceafbfae6a9d2efc32b3fc76a94..259c1b18ddc9366f0acc79ee70a17fc083ecd1cf 100644
--- a/src/plugins/e-acsl/tests/temporal/t_getenv.c
+++ b/src/plugins/e-acsl/tests/temporal/t_getenv.c
@@ -1,7 +1,7 @@
 /* run.config
    COMMENT: Check temporal validity of environment string (via getenv function)
+   STDOPT: #"-eva-warn-key=-libc:unsupported-spec"
 */
-
 #include <stdlib.h>
 #include <errno.h>