Update Makefiles

This commit is contained in:
2020-05-01 11:10:21 +02:00
parent 7123d1926b
commit f7635c62c6