From mboxrd@z Thu Jan 1 00:00:00 1970 Return-path: Received: from ptx.hi.pengutronix.de ([2001:6f8:1178:2:5054:ff:fec0:8e10] ident=Debian-exim) by metis.ext.pengutronix.de with esmtp (Exim 4.72) (envelope-from ) id 1UJhco-0001bp-2t for ptxdist@pengutronix.de; Sun, 24 Mar 2013 10:54:02 +0100 Received: from mol by ptx.hi.pengutronix.de with local (Exim 4.72) (envelope-from ) id 1UJhcm-0000C2-0q for ptxdist@pengutronix.de; Sun, 24 Mar 2013 10:54:00 +0100 Date: Sun, 24 Mar 2013 10:54:00 +0100 From: Michael Olbrich Message-ID: <20130324095359.GI1289@pengutronix.de> References: <1364061496-21661-1-git-send-email-bernhard@bwalle.de> <20130323192919.GG1289@pengutronix.de> <20130323212355.GA17566@regiomontanus.your-server.de> MIME-Version: 1.0 Content-Disposition: inline In-Reply-To: <20130323212355.GA17566@regiomontanus.your-server.de> Subject: Re: [ptxdist] [PATCH] gnuplot: bump to 4.6.2 Reply-To: ptxdist@pengutronix.de List-Id: PTXdist Development Mailing List List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit Sender: ptxdist-bounces@pengutronix.de Errors-To: ptxdist-bounces@pengutronix.de To: ptxdist@pengutronix.de On Sat, Mar 23, 2013 at 10:23:55PM +0100, Bernhard Walle wrote: > * Michael Olbrich [2013-03-23 20:29]: > > On Sat, Mar 23, 2013 at 06:58:16PM +0100, Bernhard Walle wrote: > > > And also fix a build error with new texinfo (makeinfo) installed on the > > > host by disabling building the info page which is not needed. > > > > Try to build with all sub-options enabled. :-) > > :-| Build with all options tested now. > > I'm sure you know some make magic to replace my $(shell ... cut) call. :-) It's not really that magical :-) Applied and simplified. Michael -- Pengutronix e.K. | | Industrial Linux Solutions | http://www.pengutronix.de/ | Peiner Str. 6-8, 31137 Hildesheim, Germany | Phone: +49-5121-206917-0 | Amtsgericht Hildesheim, HRA 2686 | Fax: +49-5121-206917-5555 | -- ptxdist mailing list ptxdist@pengutronix.de