diff options
| -rw-r--r-- | src/backend/port/random.c | 4 | ||||
| -rw-r--r-- | src/backend/port/srandom.c | 4 |
2 files changed, 6 insertions, 2 deletions
diff --git a/src/backend/port/random.c b/src/backend/port/random.c index 7b523b48674..950b9106eca 100644 --- a/src/backend/port/random.c +++ b/src/backend/port/random.c @@ -1,9 +1,11 @@ -/* $Id: random.c,v 1.8 1999/07/16 03:13:06 momjian Exp $ */ +/* $Id: random.c,v 1.9 1999/07/16 23:09:45 tgl Exp $ */ #include <stdlib.h> #include <math.h> #include <errno.h> +#include "config.h" + long random() { diff --git a/src/backend/port/srandom.c b/src/backend/port/srandom.c index f7ff333f2e1..eb16736d4ce 100644 --- a/src/backend/port/srandom.c +++ b/src/backend/port/srandom.c @@ -1,9 +1,11 @@ -/* $Id: srandom.c,v 1.8 1999/07/16 03:13:08 momjian Exp $ */ +/* $Id: srandom.c,v 1.9 1999/07/16 23:09:45 tgl Exp $ */ #include <stdlib.h> #include <math.h> #include <errno.h> +#include "config.h" + void srandom(unsigned int seed) { |