[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[PATCH] build: GuixSD doesn't have /bin/bash.
From: |
Mathieu Lirzin |
Subject: |
[PATCH] build: GuixSD doesn't have /bin/bash. |
Date: |
Mon, 22 Jan 2018 22:14:55 +0100 |
* 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
- [PATCH] build: GuixSD doesn't have /bin/bash.,
Mathieu Lirzin <=