From 2fbf4f9bdba0ba8ed86baa3acaa5d06c198c77b8 Mon Sep 17 00:00:00 2001
From: Ben Gras <ben@minix3.org>
Date: Mon, 29 Aug 2005 19:38:19 +0000
Subject: [PATCH] Changes for big/regular commands split, and postinstall

---
 Makefile | 12 ++++++++++--
 1 file changed, 10 insertions(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index 701d5b5c5..04fe45f32 100755
--- a/Makefile
+++ b/Makefile
@@ -11,7 +11,7 @@ usage:
 	@echo "	make world      # Compile everything (libraries & commands)" >&2
 	@echo "	make includes   # Install include files from src/" >&2
 	@echo "	make libraries  # Compile and install libraries" >&2
-	@echo "	make cmds       # Compile commands, but don't install" >&2
+	@echo "	make cmds       # Compile non-big commands, but don't install" >&2
 	@echo "	make install    # Compile and install commands" >&2
 	@echo "	make depend     # Generate required .depend files" >&2
 	@echo "	make clean      # Remove all compiler results" >&2
@@ -25,7 +25,7 @@ usage:
 # for which it has to install /etc (for users and ownerships).
 # etcfiles also creates a directory hierarchy in its
 # 'make install' target.
-world:	etcfiles includes depend libraries cmds install
+world:	etcfiles includes depend libraries cmds bigcmds install biginstallcmds postinstall
 
 includes:
 	cd include && $(MAKE) install
@@ -36,9 +36,15 @@ libraries:
 cmds:
 	cd commands && $(MAKE) all
 
+bigcmds:
+	cd commands && $(MAKE) bigall
+
 install::
 	cd commands && $(MAKE) $@
 
+biginstallcmds::
+	cd commands && $(MAKE) biginstall
+
 depend::
 	mkdep kernel
 	mkdep servers
@@ -65,3 +71,5 @@ all install clean::
 	cd tools && $(MAKE) $@
 	cd servers && $(MAKE) $@
 
+postinstall:
+	cd etc && $(MAKE) $@
-- 
2.44.0