mirror of
https://gitlab.rtems.org/rtems/rtos/rtems.git
synced 2026-08-27 22:11:20 +08:00
Coverity spotted that we were ignoring a return value. But ignoring it is intentional. Adding (void) clearly indicates it is being ignored explicitly.