diff options
-rw-r--r-- | server.patch | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/server.patch b/server.patch index 0098566..4366c2b 100644 --- a/server.patch +++ b/server.patch @@ -171,16 +171,6 @@ diff -Naur a/src/include/pg_config_manual.h b/src/include/pg_config_manual.h /* * The random() function is expected to yield values between 0 and -diff -Naur a/src/makefiles/Makefile.linux b/src/makefiles/Makefile.linux ---- a/src/makefiles/Makefile.linux 2011-01-27 21:23:36.000000000 -0500 -+++ b/src/makefiles/Makefile.linux 2011-03-20 14:58:42.743200540 -0400 -@@ -11,4 +11,4 @@ - endif - - %.so: %.o -- $(CC) $(CFLAGS) -shared -o $@ $< -+ $(CC) $(CFLAGS) $(LDFLAGS) $(LDFLAGS_SL) -shared -o $@ $< -diff -Naur a/src/port/Makefile b/src/port/Makefile --- a/src/port/Makefile 2011-01-27 21:23:36.000000000 -0500 +++ b/src/port/Makefile 2011-03-20 14:49:33.936295541 -0400 @@ -39,11 +39,10 @@ |