Dont include <stdatomic.h> when running FlexeLint

3b033588 · Poul-Henning Kamp · e94bcc96 · 3b033588 · 3b033588
Commit 3b033588 authored Aug 03, 2020 by Poul-Henning Kamp
Hide whitespace changes
Inline Side-by-side

Showing with 2 additions and 1 deletion

vmb.h include/vmb.h +1 -1

flint_skel.sh tools/flint_skel.sh +1 -0

No files found.
--- 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)

--- 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 \