]> Savannah Git Hosting - gnulib.git/commitdiff
build: GuixSD doesn't have /bin/bash
authorMathieu Lirzin <mthl@gnu.org>
Mon, 22 Jan 2018 21:14:55 +0000 (22:14 +0100)
committerPaul Eggert <eggert@cs.ucla.edu>
Tue, 23 Jan 2018 05:40:28 +0000 (21:40 -0800)
* Makefile (SHELL): Search 'bash' in the PATH environment variable.

ChangeLog
Makefile

index fa3a33e860b9312fd1320a56378fecfd3f5760d7..d90fa58e0626228a3ae917ab7c2ad551beff5e3c 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -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.
index aa5bf01c173b0f9c68f33c3e7af2b9cc90755a49..6c3a2285194c997a740b90167060aafb64dbb5aa 100644 (file)
--- 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: