From 7eba4a9ac9cb65ae501365d5d7cad83430c37d92 Mon Sep 17 00:00:00 2001
From: Mathieu Lirzin <mthl@gnu.org>
Date: Mon, 22 Jan 2018 22:14:55 +0100
Subject: build: GuixSD doesn't have /bin/bash

* Makefile (SHELL): Search 'bash' in the PATH environment variable.
---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index aa5bf01c17..6c3a228519 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:
-- 
cgit v1.2.1