Re: Add a Makefile.user on /usr/src and /usr/ports

2002-06-07 Thread Cyrille Lefevre
On Fri, Jun 07, 2002 at 12:25:09AM +0200, Riccardo Torrini wrote: > To support fancy user and they own targets would be nice an > infrastructure that check and (if it exist) include a file > (named Makefile.user or .local or similar) with personal > targets either under /usr/src than /usr/ports. >

Add a Makefile.user on /usr/src and /usr/ports

2002-06-06 Thread Riccardo Torrini
To support fancy user and they own targets would be nice an infrastructure that check and (if it exist) include a file (named Makefile.user or .local or similar) with personal targets either under /usr/src than /usr/ports. This can save a lot of typing building various things (for example timing