Cherry pick files from the module branch

This commit is contained in:
2023-10-06 14:23:15 +02:00
parent 6994d8d05a
commit 4bab1e30fc
4 changed files with 21 additions and 9 deletions

View File

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