[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[PATCH 5/5] gnu: gawk: Don't replace 'sh' reference with 'bash'.
From: |
Leo Famulari |
Subject: |
[PATCH 5/5] gnu: gawk: Don't replace 'sh' reference with 'bash'. |
Date: |
Thu, 5 Jan 2017 11:28:51 -0500 |
* 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(-)
diff --git a/gnu/packages/gawk.scm b/gnu/packages/gawk.scm
index 86f01335a..280e3d3cf 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
--
2.11.0
- [PATCH 0/5] Clean-up of /bin/sh patching, Leo Famulari, 2017/01/05
- [PATCH 1/5] gnu: m4: Don't replace 'sh' reference with 'bash'., Leo Famulari, 2017/01/05
- [PATCH 5/5] gnu: gawk: Don't replace 'sh' reference with 'bash'.,
Leo Famulari <=
- [PATCH 4/5] gnu: glibc/linux: Use /bin/sh instead of /bin/bash as the default shell., Leo Famulari, 2017/01/05
- [PATCH 2/5] gnu: gnu-make: Don't replace 'sh' reference with 'bash'., Leo Famulari, 2017/01/05
- [PATCH 3/5] gnu: glibc/linux: Don't replace 'sh' reference with 'bash'., Leo Famulari, 2017/01/05
- Re: [PATCH 0/5] Clean-up of /bin/sh patching, Marius Bakke, 2017/01/05