From 759ad0690b4bfbe8b88cda8224d66954aad4cf5a Mon Sep 17 00:00:00 2001 From: Marius Bakke Date: Mon, 19 Mar 2018 20:11:11 +0100 Subject: [PATCH] gnu: make: End phase on #t. * gnu/packages/base.scm (gnu-make)[arguments]: Return #t from 'set-default-shell' phase. --- gnu/packages/base.scm | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/gnu/packages/base.scm b/gnu/packages/base.scm index bce85e8e2c..24845f9903 100644 --- a/gnu/packages/base.scm +++ b/gnu/packages/base.scm @@ -405,7 +405,8 @@ (define-public gnu-make (substitute* "job.c" (("default_shell =.*$") (format #f "default_shell = \"~a/bin/sh\";\n" - bash))))))))) + bash))) + #t)))))) (synopsis "Remake files automatically") (description "Make is a program that is used to control the production of