diff --git a/tools/Makefile b/tools/Makefile index 96b7064c8..543810de7 100755 --- a/tools/Makefile +++ b/tools/Makefile @@ -55,7 +55,7 @@ fresh: all: image -image: +image: includes cd ../kernel && $(MAKE) cd ../servers && $(MAKE) image cd ../drivers && $(MAKE) image