diff options
| author | Leo Famulari <leo@famulari.name> | 2017-01-05 03:02:08 -0500 |
|---|---|---|
| committer | Leo Famulari <leo@famulari.name> | 2017-01-06 17:16:02 -0500 |
| commit | 60f3ad8c073bba0a4672752f4b73ddd5ebd6b011 (patch) | |
| tree | 0ee50605403201af7bfee4397d7c5a28e0be2030 /THANKS | |
| parent | fa6428a19f8547b479abaab776cf1f3342d04445 (diff) | |
| download | patches-60f3ad8c073bba0a4672752f4b73ddd5ebd6b011.tar patches-60f3ad8c073bba0a4672752f4b73ddd5ebd6b011.tar.gz | |
gnu: gnu-make: Don't replace 'sh' reference with 'bash'.
* gnu/packages/base.scm (gnu-make)[arguments]: Use /bin/sh instead of /bin/bash
in 'set-default-shell' phase.
Diffstat (limited to 'THANKS')
0 files changed, 0 insertions, 0 deletions