From 5b2de07aa72a6642ad80e9e11cc4b7ff1a2a0a37 Mon Sep 17 00:00:00 2001
From: Stefan Vigerske <svigerske@gams.com>
Date: Fri, 27 Dec 2024 11:33:27 +0100
Subject: [PATCH] define _Thread_local to empty for lint

- under lint, tinycthread would define _Thread_local  _Thread_local, but
  lint does not understand this attribute
- so define to be empty in scip.lnt
---
 lint/scip.lnt | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/lint/scip.lnt b/lint/scip.lnt
index 0a6170cae4..2748092c24 100644
--- a/lint/scip.lnt
+++ b/lint/scip.lnt
@@ -61,6 +61,10 @@
 // "# define UINT64_MAX (__UINT64_C(18446744073709551615))" in stdint.h
 ++dUINT64_MAX=18446744073709551615UL
 
+// tinycthread will think that _Thread_local is available, because
+// __STDC_VERSION__ >= 201102L, but it isn't
+++d_Thread_local=
+
 // ---------------------------------------------------------
 // treat particular messages:
 -emacro(506,debugMessage)         // Constant value Boolean