Update Makefiles

This commit is contained in:
2020-05-01 11:04:10 +02:00
parent a000c16f96
commit 15d5a71890