… | |
… | |
433 | |
433 | |
434 | rndm.seed (time (0)); |
434 | rndm.seed (time (0)); |
435 | g_thread_init (0); // for the slice allocator only |
435 | g_thread_init (0); // for the slice allocator only |
436 | |
436 | |
437 | #if 0 |
437 | #if 0 |
|
|
438 | extern void hack(); hack ();//D |
|
|
439 | #endif |
|
|
440 | |
|
|
441 | #if 0 |
438 | // code sometiems used for timing benchmarks |
442 | // code sometiems used for timing benchmarks |
439 | random_number_generator<freeciv_random_generator> rng; |
443 | random_number_generator<freeciv_random_generator> rng; |
440 | rng.seed(0); |
444 | rng.seed(0); |
441 | for (int i = 0; i < 10; ++i) |
445 | for (int i = 0; i < 10; ++i) |
442 | printf ("%08x\n", rng.get_u32()); |
446 | printf ("%08x\n", rng.get_u32()); |