Update Makefiles

This commit is contained in:
2020-05-01 10:55:29 +02:00
parent 88ece69bbe
commit c8eda01297