X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Frandom.c;h=cae3f9e70a3fb9f0f05411bfa3114509d9fd768c;hb=d4d9866bb2ec1797b8fb103e7144d0e9ffd1abff;hp=20a70fae6ee3cb8f1303fa04b00a02f0a8709aaf;hpb=957761c7598cdbd1140e08962cd6999c6ce9437f;p=pspp-builds.git

diff --git a/src/random.c b/src/random.c
index 20a70fae..cae3f9e7 100644
--- a/src/random.c
+++ b/src/random.c
@@ -49,12 +49,13 @@ rng_create (void)
   static time_t t=0;
 
   rng = xmalloc (sizeof *rng);
-  if (t == 0 || set_seed == NOT_LONG)
+  if (t == 0 || set_seed_used)
   {
     if (set_seed == NOT_LONG) 
       time (&t);
     else
       t = set_seed;
+    set_seed_used=0;
   }
   else
     t++;