On Wed, Mar 19, 2014 at 10:37:24AM +, CARAYOL Sophie wrote:
> It is a Linux distribution (32 bits i suppose) : Ubuntu 12.04, use of
> dash shell. I use ptxdist-2013.12.0 : how can I check the 'make'
> revision ?
Ubuntu 12.02 comes with make 3.81 [1] and Linux 3.2.0.60.71 [2].
Best regards
Uwe
Hi Sophie,
On Wednesday 19 March 2014 11:37:24 CARAYOL Sophie wrote:
> It is a Linux distribution (32 bits i suppose) : Ubuntu 12.04, use of dash
> shell. I use ptxdist-2013.12.0 : how can I check the 'make' revision ?
$ uname -a
$ make --version
Regards,
Juergen
--
Pengutronix e.K.
Hi Juergen,
It is a Linux distribution (32 bits i suppose) : Ubuntu 12.04, use of dash
shell. I use ptxdist-2013.12.0 : how can I check the 'make' revision ?
Best regards,
Sophie
De : Juergen Beisert
Envoyé : mercredi 19 mars 2014 09:04
À : ptxdist@pengu
Hei Michael,
Am 2014-03-19 10:49, schrieb Michael Olbrich:
> On Wed, Mar 19, 2014 at 10:19:09AM +0100, Alexander Dahl wrote:
>> Upstream migrated the old code base to github in 2011:
>> https://github.com/rafaelsteil/libcgi – I got the old ptxdist patches
>> merged in 2012 and two fixes for mem le
Sorry, I forgot to prepend the topic with "libcgi: " … :-/
Should I resend the patch?
Greets
Alex
--
»With the first link, the chain is forged. The first speech censured,
the first thought forbidden, the first freedom denied, chains us all
irrevocably.« (Jean-Luc Picard, quoting Judge Aaron Sa
Hi Sophie,
On Tuesday 18 March 2014 09:06:52 CARAYOL Sophie wrote:
> I have already done this try. You can see the log file joined.
> Have you another idea ?
Strange behaviour on your system. We have no idea what is going wrong at your
side.
Some questions which sometimes had helped in the past:
