1 files changed, 12 insertions, 0 deletions
diff --git a/src/backend/port/srandom.c b/src/backend/port/srandom.c
new file mode 100644
index 00000000000..71977bde8eb
--- /dev/null
+++ b/src/backend/port/srandom.c
@@ -0,0 +1,12 @@
+#include <math.h>               /* for pow() prototype */
+
+#include <errno.h>
+#include "rusagestub.h"
+#include "port-protos.h"
+
+void
+srandom(int seed)
+{
+	srand48((long int) seed);
+}
+