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 /doc/gnulib-tool.texi | |
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 'doc/gnulib-tool.texi')
0 files changed, 0 insertions, 0 deletions