From 25bd2bd8fa17b58f75be451d757a454ae11b4387 Mon Sep 17 00:00:00 2001 From: Ben Gras Date: Thu, 7 Jul 2011 23:04:32 +0200 Subject: [PATCH] world: add servers install target . previously happened for install in tools/ . reported by Evgeniy Ivanov --- Makefile | 1 + 1 file changed, 1 insertion(+) diff --git a/Makefile b/Makefile index e788d2e77..cc8f36aaf 100644 --- a/Makefile +++ b/Makefile @@ -84,6 +84,7 @@ install: $(MAKE) -C man install makedb $(MAKE) -C commands install $(MAKE) -C bin install + $(MAKE) -C servers install $(MAKE) -C usr.bin install $(MAKE) -C share install $(MAKE) -C tools install -- 2.44.0