Alexandre Oliva wrote:

--- gcc/p/rts/rts.c~ Fri Aug 6 12:49:33 1999 +++ gcc/p/rts/rts.c Sun Aug 29 15:29:31 1999 @@ -330,6 +330,10 @@

static clock_t initial_clocks = 0;

+#ifndef CLOCKS_PER_SEC +#define CLOCKS_PER_SEC 1000 +#endif

int _p_get_cpu_time (MicroSecond) int *MicroSecond;

Hmpf. Isn't there another way to get the value on this system (perhaps in another header file, or under another name)? The code above would set it to 1000 whenever it's not defined. This might be wrong on a system that uses a value other than 1000 and does not define CLOCKS_PER_SEC in the headers we include.

Frank