diff options
-rw-r--r-- | ChangeLog | 5 | ||||
-rw-r--r-- | Makefile | 2 |
2 files changed, 6 insertions, 1 deletions
@@ -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. @@ -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: |