On 2011-06-25, Mikolaj Kucharski <miko...@kucharski.name> wrote:
> Ok?
>
> - always install headers, even if that same header file is already
>   installed in the system, this is for various conformal.com ports

Why would you want to do this? It doesn't affect ports at all, and if
these are being built outside of ports you don't really want the timestamp
on those headers to change unless the contents of the headers changes too.


Reply via email to