Cherry pick files from the module branch

2023-10-06 14:23:15 +02:00
parent 21d7b78031
commit 1ad309b07e
4 changed files with 21 additions and 9 deletions
--- a/lib/RebuildTarget.mk
+++ b/lib/RebuildTarget.mk
@@ -1 +1,3 @@
-rebuild: | clean all
+rebuild: 
+	$(MAKE) clean
+	$(MAKE) all