[PATCH 0/5] Clean-up of /bin/sh patching

[Leo Famulari]

This patch series changes all the instances of /bin/sh being patched to
/bin/bash that I can find.

They are for core-updates.

In case you are wondering why this matters, since our /bin/sh is
provided by Bash, Bash behaves differently based on the name it is
invoked with. This is briefly documented in the Invocation section of
bash(1).

The gawk patch would actually be committed as a re-reversion of the
commit that I made to the master branch before realizing that it caused
too many rebuilds.  But I present it for review in this format for
clarity.

Leo Famulari (5):
  gnu: m4: Don't replace 'sh' reference with 'bash'.
  gnu: gnu-make: Don't replace 'sh' reference with 'bash'.
  gnu: glibc/linux: Don't replace 'sh' reference with 'bash'.
  gnu: glibc/linux: Use /bin/sh instead of /bin/bash as the default
    shell.
  gnu: gawk: Don't replace 'sh' reference with 'bash'.

 gnu/packages/base.scm | 6 +++---
 gnu/packages/gawk.scm | 2 +-
 gnu/packages/m4.scm   | 2 +-
 3 files changed, 5 insertions(+), 5 deletions(-)

-- 
2.11.0