1 diff -u -r ../postgresql-9.6.2/src/bin/pg_upgrade/check.c ./src/bin/pg_upgrade/check.c
2 --- ../postgresql-9.6.2/src/bin/pg_upgrade/check.c 2017-02-06 22:45:25.000000000 +0100
3 +++ ./src/bin/pg_upgrade/check.c 2017-03-05 14:47:58.793188439 +0100
7 /* add shebang header */
8 - fprintf(script, "#!/bin/sh\n\n");
9 + fprintf(script, "#!@TERMUX_PREFIX@/bin/sh\n\n");
11 /* suppress command echoing */
12 fprintf(script, "@echo off\n");
16 /* add shebang header */
17 - fprintf(script, "#!/bin/sh\n\n");
18 + fprintf(script, "#!@TERMUX_PREFIX@/bin/sh\n\n");
21 /* delete old cluster's default tablespace */