bug#5191: 23.1.90; Make target compile-main fails under GNU/Linux Kernel 2.6.16

[Dan Nicolaescu]

Chong Yidong <address@hidden> writes:

  > Dan Nicolaescu <address@hidden> writes:
  > 
  > > Yet another idea: how about we require GNU make?  Other GNU projects
  > > require GNU make already, like GCC.  GNU make is widely available on
  > > all free systems, and even on proprietary unixes, I've personally
  > > never seen a machine used for software development that did not have
  > > GNU make.
  > 
  > What about the BSDs?  My impression is that they still use their own
  > Make version, no?

They do, but GNU make is still readily available.