+++ /dev/null
-diff -u -r ../postgresql-9.6.2/src/bin/pg_upgrade/check.c ./src/bin/pg_upgrade/check.c
---- ../postgresql-9.6.2/src/bin/pg_upgrade/check.c 2017-02-06 22:45:25.000000000 +0100
-+++ ./src/bin/pg_upgrade/check.c 2017-03-05 14:47:58.793188439 +0100
-@@ -436,7 +436,7 @@
-
- #ifndef WIN32
- /* add shebang header */
-- fprintf(script, "#!/bin/sh\n\n");
-+ fprintf(script, "#!@TERMUX_PREFIX@/bin/sh\n\n");
- #else
- /* suppress command echoing */
- fprintf(script, "@echo off\n");
-@@ -564,7 +564,7 @@
-
- #ifndef WIN32
- /* add shebang header */
-- fprintf(script, "#!/bin/sh\n\n");
-+ fprintf(script, "#!@TERMUX_PREFIX@/bin/sh\n\n");
- #endif
-
- /* delete old cluster's default tablespace */