From mboxrd@z Thu Jan 1 00:00:00 1970 From: Leo Famulari Subject: Re: 07/08: gnu: Add ocaml-ssl. Date: Tue, 24 Jan 2017 14:08:18 -0500 Message-ID: <20170124190818.GC6110@jasmine> References: <20170116213516.17292.49031@vcs.savannah.gnu.org> <20170116213517.59CD0220115@vcs.savannah.gnu.org> <20170123213118.GB735@jasmine> <820ebaa9b8356d26ff0086b270248617@lepiller.eu> Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:33427) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1cW6S7-0002dO-TY for guix-devel@gnu.org; Tue, 24 Jan 2017 14:08:24 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1cW6S3-00063y-Oj for guix-devel@gnu.org; Tue, 24 Jan 2017 14:08:23 -0500 Received: from out1-smtp.messagingengine.com ([66.111.4.25]:48448) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1cW6S3-00063t-La for guix-devel@gnu.org; Tue, 24 Jan 2017 14:08:19 -0500 Content-Disposition: inline In-Reply-To: <820ebaa9b8356d26ff0086b270248617@lepiller.eu> List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org Sender: "Guix-devel" To: julien lepiller Cc: guix-devel@gnu.org On Tue, Jan 24, 2017 at 10:31:49AM +0100, julien lepiller wrote: > Le 2017-01-23 22:31, Leo Famulari a écrit : > > Can you change these substitutions to use (which "sh") instead? > > I didn't think it would cause any issue, but sure I will. Hopefully it doesn't cause an issue, but we should stick with the upstream developers' choice of shell.