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

Reply via email to