27 June 2023: George
- Merge #892: Add cachedb hit stat. Introduces 'num.query.cachedb' as
a new statistical counter.
+ - Remove warning about unknown cast-function-type warning pragma.
22 June 2023: Wouter
- Merge #903: contrib: add yocto compatible init script.
%begin %{
/* store state of warning output, restored at later pop */
#pragma GCC diagnostic push
+/* ignore warnings for pragma below, where for older GCC it can produce a
+ warning if the cast-function-type warning is absent. */
+#pragma GCC diagnostic ignored "-Wpragmas"
/* ignore gcc8 METH_NOARGS function cast warnings for swig function pointers */
#pragma GCC diagnostic ignored "-Wcast-function-type"
%}