[master] 3b0335889 Dont include <stdatomic.h> when running FlexeLint

[Poul-Henning Kamp]

commit 3b033588970c0af54eea3dae742c5becafd19916
Author: Poul-Henning Kamp <phk at FreeBSD.org>
Date:   Mon Aug 3 09:37:33 2020 +0000

    Dont include <stdatomic.h> when running FlexeLint

diff --git a/include/vmb.h b/include/vmb.h
index 7029e29f6..2e3f52550 100644
--- a/include/vmb.h
+++ b/include/vmb.h
@@ -34,7 +34,7 @@
 #ifndef VMB_H_INCLUDED
 #define VMB_H_INCLUDED
 
-#if defined(HAVE_STDATOMIC_H)
+#if defined(HAVE_STDATOMIC_H) && !defined(__FLEXELINT__)
 
 #  include <stdatomic.h>
 #  define VWMB()	atomic_thread_fence(memory_order_release)
diff --git a/tools/flint_skel.sh b/tools/flint_skel.sh
index 557c7aa59..561a7d05e 100644
--- a/tools/flint_skel.sh
+++ b/tools/flint_skel.sh
@@ -7,6 +7,7 @@ if [ "x$1" = "x-ok" -a -f _.fl ] ; then
 fi
 
 flexelint \
+	-D__FLEXELINT__ \
 	../../flint.lnt \
 	../flint.lnt \
 	flint.lnt \