On Sat, Sep 17, 2016 at 3:38 PM, Martin Natano <[email protected]> wrote: > I think we should be using ${INSTALL} here like in all the other > Makefile's. Ok?
Looks right. Assuming that works (unlike _my_ last modification to those...) ok guenther@
On Sat, Sep 17, 2016 at 3:38 PM, Martin Natano <[email protected]> wrote: > I think we should be using ${INSTALL} here like in all the other > Makefile's. Ok?
Looks right. Assuming that works (unlike _my_ last modification to those...) ok guenther@