makefile updated

This commit is contained in:
2023-04-12 17:03:00 +08:00
parent c261d62b36
commit 4670ee9b57
2 changed files with 14 additions and 6 deletions

View File

@@ -87,7 +87,7 @@ help: Makefile
@echo "\nAvailable GOALs:"
@sed -n 's/^##//p' $< | column -ts ':' | sed -e "s/^/\t/"
+%:
@$(MAKE) $*
@make $*
^%:
@./upgrade/$*
@%: