WRKDIRPREFIX and make search

[Jeremie Le Hen]

> > Is it a bug or a feature ?  In the later case, what am I missing ?
> 
>     the manual page for make, specifically, the description of
>     .OBJDIR. you'll be happier if you set WRKDIRPREFIX to something
>     else than /usr/obj.

Ok, I lacked of fortune.  It's harmful that /usr/obj can't be used as
the WRKDIRPREFIX :-/.

Thanks for your answer.
-- 
Jeremie LE HEN aka TtZ/TataZ                          jeremie.le-hen at epita.fr
                                                                 ttz at epita.fr
Hi! I'm a .signature virus! Copy me into your ~/.signature to help me spread!