gnu: gnu-make: Don't replace 'sh' reference with 'bash'.
authorLeo Famulari <leo@famulari.name>
Thu, 5 Jan 2017 08:02:08 +0000 (03:02 -0500)
committerLeo Famulari <leo@famulari.name>
Fri, 6 Jan 2017 22:16:02 +0000 (17:16 -0500)
commit60f3ad8c073bba0a4672752f4b73ddd5ebd6b011
tree0ee50605403201af7bfee4397d7c5a28e0be2030
parentfa6428a19f8547b479abaab776cf1f3342d04445
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.
gnu/packages/base.scm