diff options
| author | John Darrington <jmd@gnu.org> | 2016-03-24 14:23:55 +0100 |
|---|---|---|
| committer | John Darrington <jmd@gnu.org> | 2016-03-25 08:04:56 +0100 |
| commit | dd21308225610e7adfcbd1bfa07f72a42d7c7c35 (patch) | |
| tree | c27e9a8e9372a0286cade3f9f5df5f23b76d8a28 | |
| parent | 43a58615bfc37a053ddaca1fcf11af5c14c0b4b6 (diff) | |
gnu: postgresql: Substitute hard coded "/bin/sh".
* gnu/packages/databses.scm (postgresql): substitute /bin/sh
with location of bash binary.
| -rw-r--r-- | gnu/packages/databases.scm | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/gnu/packages/databases.scm b/gnu/packages/databases.scm index 6612e37aa0..7626d3d18a 100644 --- a/gnu/packages/databases.scm +++ b/gnu/packages/databases.scm @@ -283,6 +283,16 @@ as a drop-in replacement of MySQL.") (base32 "1ljvijaja5zy4i5b1450drbj8m3fcm3ly1zzaakp75x30s2rsc3b")))) (build-system gnu-build-system) + (arguments + `(#:phases + (modify-phases %standard-phases + (add-before 'configure 'patch-/bin/sh + (lambda _ + ;; Refer to the actual shell. + (substitute* '("src/bin/pg_ctl/pg_ctl.c" + "src/bin/psql/command.c") + (("/bin/sh") (which "sh"))) + #t))))) (inputs `(("readline" ,readline) ("zlib" ,zlib))) |