+++ /dev/null
-diff -u -r ../postgresql-9.6.2/src/include/pg_config_manual.h ./src/include/pg_config_manual.h
---- ../postgresql-9.6.2/src/include/pg_config_manual.h 2017-02-06 22:45:25.000000000 +0100
-+++ ./src/include/pg_config_manual.h 2017-03-05 12:33:31.343900518 +0100
-@@ -124,7 +124,7 @@
- /*
- * Define this if your operating system supports link()
- */
--#if !defined(WIN32) && !defined(__CYGWIN__)
-+#if !defined(WIN32) && !defined(__CYGWIN__) && !defined(__ANDROID__)
- #define HAVE_WORKING_LINK 1
- #endif
-
-@@ -182,7 +182,11 @@
- * here's where to twiddle it. You can also override this at runtime
- * with the postmaster's -k switch.
- */
--#define DEFAULT_PGSOCKET_DIR "/tmp"
-+#ifdef P_tmpdir
-+#define DEFAULT_PGSOCKET_DIR P_tmpdir
-+#else
-+#define DEFAULT_PGSOCKET_DIR "/tmp"
-+#endif
-
-
- /*
- * This is the default event source for Windows event log.