From 65d0a272d079b17d789fcb6940ecbbe254addf63 Mon Sep 17 00:00:00 2001
From: bg- <bg->
Date: Mon, 4 Jun 2007 18:03:58 +0000
Subject: [PATCH] * Check that we are libc compliant.

---
 core/lib/rand.c | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/core/lib/rand.c b/core/lib/rand.c
index 2a1869328..54c1681fb 100644
--- a/core/lib/rand.c
+++ b/core/lib/rand.c
@@ -28,11 +28,18 @@
  *
  * This file is part of the Contiki operating system.
  *
- * @(#)$Id: rand.c,v 1.4 2007/06/01 15:28:02 bg- Exp $
+ * @(#)$Id: rand.c,v 1.5 2007/06/04 18:03:58 bg- Exp $
  */
 
 #include <stdlib.h>
 
+#include "lib/assert.h"
+
+#ifdef RAND_MAX
+/* Use rand() from libc if this breaks! */
+CTASSERT(RAND_MAX == 0x7fff);
+#endif
+
 #include "rand.h"
 
 /*