diff options
| author | ruki <[email protected]> | 2020-11-10 23:21:16 +0800 |
|---|---|---|
| committer | ruki <[email protected]> | 2020-11-10 23:21:16 +0800 |
| commit | 85aa5fce76f7dd92dc618a4ae1ef20579b5e5ccd (patch) | |
| tree | 8f42af12d51aabbef0d246533fb9b9f5dbe0666c /makefile | |
| parent | de2f381f33922888bed629652df13abd3707ab79 (diff) | |
improve makefile
Diffstat (limited to 'makefile')
| -rw-r--r-- | makefile | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -94,6 +94,9 @@ build: +@$(MAKE) -C core --no-print-directory c +@$(MAKE) -C core --no-print-directory +clean: + +@$(MAKE) -C core --no-print-directory c + install: @echo installing to $(destdir) ... @echo plat: $(PLAT) |