* Makefile (SHELL): Search 'bash' in the PATH environment variable. --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/Makefile b/Makefile index aa5bf01c1..6c3a22851 100644 --- 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: -- 2.16.0