Closed soenkehahn closed 8 years ago
This interacts badly with make.
make
Yes, agree, patches welcome!
Sent from mobile
On 18 Jan 2016, at 11:35 PM, Sönke Hahn notifications@github.com wrote: This interacts badly with make. — Reply to this email directly or view it on GitHub.
On 18 Jan 2016, at 11:35 PM, Sönke Hahn notifications@github.com wrote:
— Reply to this email directly or view it on GitHub.
This interacts badly with
make
.