diff options
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile index 6b17b82905a7e..132c1153b4899 100644 --- a/Makefile +++ b/Makefile @@ -171,7 +171,7 @@ MMAKE= ${MMAKEENV} make \ -DNOMAN -DNOSHARED \ -DNO_CPU_CFLAGS -DNO_WERROR -make: +make: .PHONY @echo @echo "--------------------------------------------------------------" @echo ">>> Building an up-to-date make(1)" |