On Wed, Mar 19, 2014 at 10:37:24AM +0000, 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 [1] http://packages.ubuntu.com/search?keywords=make&searchon=names&suite=precise§ion=all [2] http://packages.ubuntu.com/search?keywords=linux&searchon=names&suite=precise§ion=all -- Pengutronix e.K. | Uwe Kleine-König | Industrial Linux Solutions | http://www.pengutronix.de/ | -- ptxdist mailing list ptxdist@pengutronix.de