diff options
author | Mathieu Lirzin <mthl@gnu.org> | 2018-01-22 22:14:55 +0100 |
---|---|---|
committer | Paul Eggert <eggert@cs.ucla.edu> | 2018-01-22 21:40:28 -0800 |
commit | 7eba4a9ac9cb65ae501365d5d7cad83430c37d92 (patch) | |
tree | 0efeacc3c655f1218eee13c665d63ec89abf0f88 /Makefile | |
parent | 8ed24a180182f72e87cda8697f5de8e32ea3d263 (diff) | |
download | gnulib-7eba4a9ac9cb65ae501365d5d7cad83430c37d92.tar.gz |
build: GuixSD doesn't have /bin/bash
* Makefile (SHELL): Search 'bash' in the PATH environment variable.
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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: |