Re: master has switched from Automake to GNU Make

[martin rudalics]

> Sometimes I just commit and push to not lose my changes if something
> goes bad with my computer.  So there may be total mess at the end of
> task.  Then I rebase and reorganize commits and usually merge it as a
> single commit into master.

That's what I do locally.  But why throw away the mess before merging it
to master?

martin