diff options
| author | Leo Famulari <leo@famulari.name> | 2017-01-05 02:57:26 -0500 |
|---|---|---|
| committer | Leo Famulari <leo@famulari.name> | 2017-01-05 11:06:06 -0500 |
| commit | 5b2834ae790557a760fea4bf2b8c7bac1ea8f23d (patch) | |
| tree | a447df3dd8cae33f87431351f491c88ad1d61574 /gnu | |
| parent | d9d23101cea13268f9319d4f4834b0e5a8ef694e (diff) | |
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.
Diffstat (limited to 'gnu')
| -rw-r--r-- | gnu/packages/gawk.scm | 2 |
1 files changed, 1 insertions, 1 deletions
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 |