Re: a pthread_cond_timedwait bug

[Bruno Haible]

>       * tests/virtualbox.h: New file.

This produces compiler warnings on non-Linux platforms. Fixed through:


2024-06-30  Bruno Haible  <bruno@clisp.org>

        tests: Avoid warning "is_running_under_virtualbox defined but not used".
        * tests/virtualbox.h (is_running_under_virtualbox): Mark as possibly
        unused.

diff --git a/tests/virtualbox.h b/tests/virtualbox.h
index 86a47fa98d..2cc970012f 100644
--- a/tests/virtualbox.h
+++ b/tests/virtualbox.h
@@ -24,7 +24,7 @@
 
 /* This function determines whether the current system is Linux and running
    under the VirtualBox emulator.  */
-static bool
+_GL_ATTRIBUTE_MAYBE_UNUSED static bool
 is_running_under_virtualbox (void)
 {
 #ifdef __linux__