random: Fix behavior of kernel option "-rs".

[pintos-anon] / src / lib / random.c

diff --git a/src/lib/random.c b/src/lib/random.c
index a4761b6b52c14d3202a783d1e7eb1ab64baba767..6a963e21b42ccce71551e66e8dad806edd542d9a 100644 (file)
--- a/src/lib/random.c
+++ b/src/lib/random.c
@@ -37,6 +37,9 @@ random_init (unsigned seed)
   int i;
   uint8_t j;
 
   int i;
   uint8_t j;
 

+  if (inited)
+    return;
+

   for (i = 0; i < 256; i++) 
     s[i] = i;
   for (i = j = 0; i < 256; i++) 
   for (i = 0; i < 256; i++) 
     s[i] = i;
   for (i = j = 0; i < 256; i++)