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. | Juergen Beisert | Linux Solutions for Science and Industry | http://www.pengutronix.de/ | -- ptxdist mailing list ptxdist@pengutronix.de