Update Makefiles

This commit is contained in:
2020-05-01 11:40:45 +02:00
parent 56cc5fa02d
commit dd7ae1cb73