Move libc replacement files from src/backend/port to src/port.

1 files changed, 13 insertions, 0 deletions

diff --git a/src/port/srandom.c b/src/port/srandom.c
new file mode 100644
index 00000000000..cf74ce5f86c
--- /dev/null
+++ b/src/port/srandom.c
@@ -0,0 +1,13 @@
+/* $Id: srandom.c,v 1.1 2002/07/18 04:13:59 momjian Exp $ */
+
+#include "c.h"
+
+#include <stdlib.h>
+#include <math.h>
+#include <errno.h>
+
+void
+srandom(unsigned int seed)
+{
+	srand48((long int) seed);
+}