diff options
| author | ruki <[email protected]> | 2020-09-12 21:16:36 +0800 |
|---|---|---|
| committer | ruki <[email protected]> | 2020-09-12 21:16:36 +0800 |
| commit | 6d4e9bcb6bb5b7287fd90c86181e34371d3f18e2 (patch) | |
| tree | 88261ab0af595525c8c9c165fef6b57a6cbb38d0 | |
| parent | b23f11f53af9f087292c08cfcb62adff62d1ce2f (diff) | |
fix makefile
| -rw-r--r-- | core/makefile | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/core/makefile b/core/makefile index 17bfde98d..f8d8eb39c 100644 --- a/core/makefile +++ b/core/makefile @@ -351,7 +351,6 @@ config : .null @$(ECHO) "compile:" @$(ECHO) " plat:\t\t"$(PLAT) @$(ECHO) " arch:\t\t"$(ARCH) - @$(ECHO) " arch:\t\t"$(shell uname -m) @$(ECHO) " host:\t\t"$(HOST) @$(ECHO) " demo:\t\t"$(DEMO) @$(ECHO) " prof:\t\t"$(PROF) |