From 7eba4a9ac9cb65ae501365d5d7cad83430c37d92 Mon Sep 17 00:00:00 2001 From: Mathieu Lirzin Date: Mon, 22 Jan 2018 22:14:55 +0100 Subject: [PATCH] build: GuixSD doesn't have /bin/bash * Makefile (SHELL): Search 'bash' in the PATH environment variable. --- ChangeLog | 5 +++++ Makefile | 2 +- 2 files changed, 6 insertions(+), 1 deletion(-) 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: -- 2.39.5