From: Mathieu Lirzin Date: Mon, 22 Jan 2018 21:14:55 +0000 (+0100) Subject: build: GuixSD doesn't have /bin/bash X-Git-Tag: v1.0~5758 X-Git-Url: https://gitweb.git.savannah.gnu.org/gitweb/?a=commitdiff_plain;h=7eba4a9ac9cb65ae501365d5d7cad83430c37d92;p=gnulib.git build: GuixSD doesn't have /bin/bash * Makefile (SHELL): Search 'bash' in the PATH environment variable. --- diff --git a/ChangeLog b/ChangeLog index fa3a33e860..d90fa58e06 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,8 @@ +2018-01-22 Mathieu Lirzin + + build: GuixSD doesn't have /bin/bash + * Makefile (SHELL): Search 'bash' in the PATH environment variable. + 2018-01-21 Bruno Haible Avoid test failures on Microsoft Windows Subsystem for Linux. diff --git a/Makefile b/Makefile index aa5bf01c17..6c3a228519 100644 --- a/Makefile +++ b/Makefile @@ -9,7 +9,7 @@ # that you have tools like git, makeinfo and cppi installed. # Required for the use of <(...) below. -SHELL=/bin/bash +SHELL=bash # Produce some files that are not stored in the repository. all: