1 files changed, 25 insertions, 0 deletions
diff --git a/src/port/srandom.c b/src/port/srandom.c
new file mode 100644
index 0000000..cf1007b
--- /dev/null
+++ b/src/port/srandom.c
@@ -0,0 +1,25 @@
+/*-------------------------------------------------------------------------
+ *
+ * srandom.c
+ *	  srandom() wrapper
+ *
+ * Portions Copyright (c) 1996-2021, PostgreSQL Global Development Group
+ * Portions Copyright (c) 1994, Regents of the University of California
+ *
+ *
+ * IDENTIFICATION
+ *	  src/port/srandom.c
+ *
+ *-------------------------------------------------------------------------
+ */
+
+#include "c.h"
+
+#include <math.h>
+
+
+void
+srandom(unsigned int seed)
+{
+	pg_srand48((long int) seed);
+}