On Monday 26 December 2005 07:21, Nicolas Goutte wrote: > So probably I should not have asked what /bin/sh is but what make is. > > > I cannot reproduce it with my GNU make. > > Perhaps it is a brand new GNU make. (Just guessing!) $ automake --version automake (GNU automake) 1.9.6 -- Gary Cramblitt (aka PhantomsDad)