On Sun, 20 Apr 2014, Iain Hibbert wrote:

> 1. should we be mixing /usr/include and $SRC headers in this way?
>    - this does not feel right to me

this one is actually $DESTDIR/usr/include so thats not a problem

iain

Reply via email to