On Mon, Jan 21, 2013 at 11:30:50PM +0800, Salil Wadnerkar wrote: > [...] > And then I run: > make > [...]
/usr/bin/make is BSD make. You most probably want gmake. -- Gregor Best
On Mon, Jan 21, 2013 at 11:30:50PM +0800, Salil Wadnerkar wrote: > [...] > And then I run: > make > [...]
/usr/bin/make is BSD make. You most probably want gmake. -- Gregor Best