Silence flexelint

f7f50adc · Nils Goroll · 49205612 · f7f50adc
Unverified Commit f7f50adc authored Jun 11, 2023 by Nils Goroll
Hide whitespace changes
Inline Side-by-side

Showing with 4 additions and 1 deletion

flint.lnt src/flint.lnt +4 -1

No files found.
--- a/src/flint.lnt
+++ b/src/flint.lnt
@@ -3,4 +3,7 @@
 // we do not lint the VSC files
 -esym(526, VSC_pesi_New, VSC_pesi_Destroy)
 -esym(755, VSC_pesi_size)
-esym(769, *INVALID)
\ No newline at end of file
+-esym(769, *INVALID)
+//Inconsistent structure declaration for tag 'tm'
+-elib(114)
+-estring(9071, _POSIX_C_SOURCE)
\ No newline at end of file