Update Makefiles

This commit is contained in:
2021-07-28 16:24:06 +02:00
parent 03b00fa6de
commit deb9b419d4