From 5b2834ae790557a760fea4bf2b8c7bac1ea8f23d Mon Sep 17 00:00:00 2001 From: Leo Famulari Date: Thu, 5 Jan 2017 02:57:26 -0500 Subject: gnu: gawk: Don't replace 'sh' reference with 'bash'. * gnu/packages/gawk.scm (gawk)[arguments]: Use /bin/sh instead of /bin/bash in 'set-shell-file-name' phase. --- gnu/packages/gawk.scm | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'gnu/packages/gawk.scm') diff --git a/gnu/packages/gawk.scm b/gnu/packages/gawk.scm index 86f01335a8..280e3d3cff 100644 --- a/gnu/packages/gawk.scm +++ b/gnu/packages/gawk.scm @@ -47,7 +47,7 @@ (let ((bash (assoc-ref inputs "bash"))) (substitute* "io.c" (("/bin/sh") - (string-append bash "/bin/bash"))) + (string-append bash "/bin/sh"))) ;; When cross-compiling, remove dependencies on the ;; `check-for-shared-lib-support' target, which tries -- cgit v1.2.3