version 1.1.1.1, 2001/04/20 10:05:33 |
version 1.3, 2001/12/25 02:39:03 |
|
|
#include "gc_priv.h" |
#include "gc_priv.h" |
#include <time.h> |
#include <time.h> |
|
|
|
void error(char *); |
|
|
int *StackBottom; |
int *StackBottom; |
|
|
void *Risa_GC_malloc(size_t d) |
void *Risa_GC_malloc(size_t d) |
Line 149 double get_current_time() |
|
Line 151 double get_current_time() |
|
return (double)t.tv_sec + ((double)t.tv_usec)/((double)1000000); |
return (double)t.tv_sec + ((double)t.tv_usec)/((double)1000000); |
} |
} |
|
|
#if defined(_PA_RISC1_1) || defined(__svr4__) |
#if defined(_PA_RISC1_1) || defined(__svr4__) || defined(__CYGWIN__) |
|
|
#include <sys/times.h> |
#include <sys/times.h> |
#include <limits.h> |
#include <limits.h> |