[master] c743dc0f8 Silence Flexelint

[Nils Goroll]

commit c743dc0f87480fd0c8917c65cc23e55977bbaa26
Author: Nils Goroll <nils.goroll at uplex.de>
Date:   Mon Jun 26 16:52:52 2023 +0200

    Silence Flexelint
    
    I believe this is the most invasive method:
    
    -e{766} has no effect
    --e{766} applies to the whole file
    -efile(766, ...) in flint.lnt applies to the (sub)tree

diff --git a/bin/varnishd/mgt/mgt_jail.c b/bin/varnishd/mgt/mgt_jail.c
index 61ccc87ad..c5b828a9b 100644
--- a/bin/varnishd/mgt/mgt_jail.c
+++ b/bin/varnishd/mgt/mgt_jail.c
@@ -39,6 +39,7 @@
 #include <string.h>
 #include <unistd.h>
 #include <sys/stat.h>
+//lint -efile(766, sys/statvfs.h)
 #include <sys/statvfs.h>
 
 #include "mgt/mgt.h"