random: Fix random number generator.

As written, this "32-bit" random number generator nevers returns a value
bigger than 0xfffe0.  This fixes the problem.

diff --git a/lib/random.c b/lib/random.c
index 88ddb4a57824e9d7440a6b90b4fd76338d50362b..7f892514ce09534842984cf8856698be06d7162c 100644 (file)
--- a/lib/random.c
+++ b/lib/random.c
@@ -103,7 +103,7 @@ static uint32_t
 random_next(void)
 {
     seed ^= seed << 13;
-    seed >>= 17;
+    seed ^= seed >> 17;
     seed ^= seed << 5;
 
     return seed;