diff options
Diffstat (limited to 'support')
| -rw-r--r-- | support/Semaphore.h | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/support/Semaphore.h b/support/Semaphore.h index 6cdf196dee..636d5caf79 100644 --- a/support/Semaphore.h +++ b/support/Semaphore.h @@ -1,5 +1,5 @@ /* - * Copyright (c) 2017 ARM Limited. + * Copyright (c) 2017-2018 ARM Limited. * * SPDX-License-Identifier: MIT * @@ -74,14 +74,17 @@ public: Semaphore(int value = 0) : _value(value) { + (void)_value; } /** Signals a semaphore */ inline void signal() { + (void)_value; } /** Waits on a semaphore */ inline void wait() { + (void)_value; } private: |