From 0d31130d2912c5ea0cedcdd3a8ee5b3a6352dfca Mon Sep 17 00:00:00 2001
From: Ben Gras <ben@minix3.org>
Date: Wed, 1 Jun 2005 11:14:08 +0000
Subject: [PATCH] Make needs a little more memory

---
 commands/make/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/commands/make/Makefile b/commands/make/Makefile
index b0dd74070..a735eab3d 100755
--- a/commands/make/Makefile
+++ b/commands/make/Makefile
@@ -8,7 +8,7 @@ all:	make
 
 make :	$(OBJ)
 	$(CC) -i -o make $(OBJ)
-	install -S 200k make
+	install -S 300k make
 
 install:	/usr/bin/make
 
-- 
2.44.0