From 17c4546ec6d9844d3d83593b7c970f3b960ef9dd Mon Sep 17 00:00:00 2001 From: Marc Olzheim Date: Sat, 19 Jun 2004 13:54:49 +0000 Subject: [PATCH] Make sure that the same prng is used on all systems, namely *rand48(). For now, only fairland.c is "fixed". We'll have to patch the random calls in the server to use the RANDOM and SRANDOM macros to make things completely reproducible. --- src/scripts/nightly/patches/All/prng.patch | 9 +++++++++ 1 file changed, 9 insertions(+) create mode 100644 src/scripts/nightly/patches/All/prng.patch diff --git a/src/scripts/nightly/patches/All/prng.patch b/src/scripts/nightly/patches/All/prng.patch new file mode 100644 index 00000000..5b2e2de1 --- /dev/null +++ b/src/scripts/nightly/patches/All/prng.patch @@ -0,0 +1,9 @@ +Index: empserver/Make.sysdefs +--- empserver/Make.sysdefs Sun Mar 21 16:44:42 2004 ++++ empserver/Make.sysdefs Sat Jun 19 15:45:43 2004 +@@ -158,3 +158,5 @@ + VAXULTCFLAGS = -O -DNOSTRDUP -DPOSIXSIGNALS + VAXULTLFLAGS = + VAXULTMASTER = GLOBALCFLAGS="$(VAXULTCFLAGS)" GLOBALLFLAGS="$(VAXULTLFLAGS)" ++ ++GLOBALLFLAGS += -DRANDOM=rand48 -DSRANDOM=srand48