On Thu, Jan 05, 2017 at 06:14:02PM +0100, Marius Bakke wrote:
> Leo Famulari writes:
>
> > * gnu/packages/base.scm (gnu-make)[arguments]: Use /bin/sh instead of
> > /bin/bash
> > in 'set-default-shell' phase.
> > ---
> > gnu/packages/base.scm | 2 +-
> > 1 file changed, 1 insertion(+), 1 deleti
Leo Famulari writes:
> * gnu/packages/base.scm (gnu-make)[arguments]: Use /bin/sh instead of
> /bin/bash
> in 'set-default-shell' phase.
> ---
> gnu/packages/base.scm | 2 +-
> 1 file changed, 1 insertion(+), 1 deletion(-)
>
> diff --git a/gnu/packages/base.scm b/gnu/packages/base.scm
> index 6
