Cherry pick files from the module branch

This commit is contained in:
Björn Gaier
2023-10-06 14:23:15 +02:00
parent 074e2d073f
commit 46fc185be5
4 changed files with 21 additions and 9 deletions

View File

@@ -1 +1,3 @@
rebuild: | clean all
rebuild:
$(MAKE) clean
$(MAKE) all