Update Makefiles

This commit is contained in:
2020-05-01 11:05:15 +02:00
parent 178ff25f6d
commit 691f9e3f48