diff options
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile index 4e8514db785b9..249f793c59dab 100644 --- a/Makefile +++ b/Makefile @@ -577,7 +577,7 @@ universe_${target}_kernels: universe_${target}_prologue .MAKE .PHONY "check _.${target}.makeLINT for details"| ${MAKEFAIL})) .endif @cd ${.CURDIR}; ${SUB_MAKE} ${.MAKEFLAGS} TARGET=${target} \ - universe_kernels MK_AUTO_OBJ=no + universe_kernels .endif # !MAKE_JUST_WORLDS # Tell the user the worlds and kernels have completed |