From e1e110228f8a2a42e48be7ee0735496413b06946 Mon Sep 17 00:00:00 2001
From: Tom Lane <tgl@sss.pgh.pa.us>
Date: Fri, 16 Jul 1999 23:09:45 +0000
Subject: [PATCH] Add back improperly removed #include for config.h. This
 probably ought to be kept in *all* the port files, but these two are the only
 ones that generated compiler warnings for me ...

---
 src/backend/port/random.c  | 4 +++-
 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 7b523b4867..950b9106ec 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 f7ff333f2e..eb16736d4c 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)
 {