On Jul 29, 2024, Alexandre Oliva <ol...@adacore.com> wrote: > - auto status = f1.wait_for(wait_time); > + auto status __attribute__ (__unused__) = f1.wait_for(wait_time);
Sorry, it looks like I posted the patch before refreshing it. Make it: + auto status __attribute__ ((__unused__)) = f1.wait_for(wait_time); (both occurrences were affected) -- Alexandre Oliva, happy hacker https://FSFLA.org/blogs/lxo/ Free Software Activist GNU Toolchain Engineer More tolerance and less prejudice are key for inclusion and diversity Excluding neuro-others for not behaving ""normal"" is *not* inclusive
