Revision 911fec92 xseg/peers/user/bench-xseg.c

b/xseg/peers/user/bench-xseg.c
324 324
reseed:
325 325
	//We proceed to initialise the global_id, and seed variables.
326 326
	if (seed == -1) {
327
		clock_gettime(CLOCK_MONOTONIC_RAW, &timer_seed);
327
		clock_gettime(CLOCK_BENCH, &timer_seed);
328 328
		seed = timer_seed.tv_nsec;
329 329
	} else {
330 330
		set_by_hand = 1;

Also available in: Unified diff