From 829a5273f99d632340333ae4c404780db3f9202f Mon Sep 17 00:00:00 2001
From: Arto Kinnunen <arto.kinnunen@arm.com>
Date: Thu, 16 Nov 2017 14:21:49 +0200
Subject: [PATCH] Squashed 'features/FEATURE_COMMON_PAL/mbed-client-randlib/'
 changes from 26cdd39..531457e

531457e Update randLIB.c

git-subtree-dir: features/FEATURE_COMMON_PAL/mbed-client-randlib
git-subtree-split: 531457e3b0953e43c343d025351da4fb64be8ef1
---
 source/randLIB.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/source/randLIB.c b/source/randLIB.c
index 21c6a58c3c..b75d7edae8 100644
--- a/source/randLIB.c
+++ b/source/randLIB.c
@@ -121,6 +121,8 @@ void randLIB_add_seed(uint64_t seed)
     if (state[1] == 0 && state[0] == 0) {
         state[0] = 1;
     }
+#else
+    (void)seed;
 #endif
 }