Merge branch '1.9.3' of tasktools.org:task into 1.9.3

This commit is contained in:
Paul Beckingham 2010-10-24 19:54:41 -04:00
commit 2aac37dcb7

View file

@ -27,7 +27,7 @@
#include <iostream> #include <iostream>
#include <stdlib.h> #include <stdlib.h>
#include <sys/time.h> #include <time.h>
#include "Context.h" #include "Context.h"
#include "../auto.h" #include "../auto.h"
@ -36,12 +36,10 @@ Context context;
int main (int argc, char** argv) int main (int argc, char** argv)
{ {
// Set up randomness. // Set up randomness.
struct timeval tv;
gettimeofday (&tv, NULL);
#ifdef HAVE_SRANDOM #ifdef HAVE_SRANDOM
srandom (tv.tv_usec); srandom (time (NULL));
#else #else
srand (tv.tv_usec); srand (time (NULL));
#endif #endif
int status = 0; int status = 0;