Reimar Döffinger <b...@reimardoeffinger.de> added the comment: On Thu, Jul 01, 2010 at 06:55:04PM +0000, Mans Rullgard wrote: > >>GNU make 3.81 is required. > > Shouldn't the configure script check for required make version and fail if > > it's older than 3.81? > > GNU make 3.81 was released over 4 years ago. I can't be bothered to > check for broken tools that ancient.
The other problem is that configure has no idea which "make" the user is going to use anyway, "make", "gmake", something with a completely different binary name... ________________________________________________ FFmpeg issue tracker <iss...@roundup.ffmpeg.org> <https://roundup.ffmpeg.org/issue1910> ________________________________________________
