# HG changeset patch
# User Mathieu Lirzin <mthl@gnu.org>
# Date 1516655695 -3600
# Node ID 3c40257da226da6b78866a5d90c8832eb9345fca
# Parent  f2c01d874a718ed7818125e95e4532899b19e4ab
build: GuixSD doesn't have /bin/bash

* Makefile (SHELL): Search 'bash' in the PATH environment variable.

diff -r f2c01d874a71 -r 3c40257da226 ChangeLog
--- a/ChangeLog	Mon Jan 22 05:01:48 2018 +0100
+++ b/ChangeLog	Mon Jan 22 22:14:55 2018 +0100
@@ -1,3 +1,8 @@
+2018-01-22  Mathieu Lirzin  <mthl@gnu.org>
+
+	build: GuixSD doesn't have /bin/bash
+	* Makefile (SHELL): Search 'bash' in the PATH environment variable.
+
 2018-01-21  Bruno Haible  <bruno@clisp.org>
 
 	Avoid test failures on Microsoft Windows Subsystem for Linux.
diff -r f2c01d874a71 -r 3c40257da226 Makefile
--- a/Makefile	Mon Jan 22 05:01:48 2018 +0100
+++ b/Makefile	Mon Jan 22 22:14:55 2018 +0100
@@ -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: