From cda79e49356151fb7fcd2008aa27c962df433b56 Mon Sep 17 00:00:00 2001 From: Hartmut Brandt Date: Tue, 24 May 2005 15:48:10 +0000 Subject: [PATCH] Make shell.o dependend on the Makefile just in case someone changes the default shell in the Makefile. --- usr.bin/make/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/usr.bin/make/Makefile b/usr.bin/make/Makefile index 06700d74ea7..c59a9a44083 100644 --- a/usr.bin/make/Makefile +++ b/usr.bin/make/Makefile @@ -20,7 +20,7 @@ CFLAGS+=-D__FBSDID=__RCSID # There is no obvious performance improvement currently. # CFLAGS+=-DUSE_KQUEUE -main.o: ${MAKEFILE} +main.o shell.o: ${MAKEFILE} # Directive and keyword tables. We use hash tables. These hash tables have been # generated with mph which can be found on the usual GNU mirrors.