From 61bbef2f4e7f2dea7cff8dfbe5364dee491a9237 Mon Sep 17 00:00:00 2001
From: Philip Homburg <philip@cs.vu.nl>
Date: Fri, 20 Oct 2006 13:54:14 +0000
Subject: [PATCH] More stack for the log driver.

---
 drivers/log/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/drivers/log/Makefile b/drivers/log/Makefile
index 7606e63b3..b929d882a 100644
--- a/drivers/log/Makefile
+++ b/drivers/log/Makefile
@@ -23,7 +23,7 @@ LIBDRIVER = $d/libdriver/driver.o
 all build:	$(DRIVER)
 $(DRIVER):	$(OBJ) $(LIBDRIVER)
 	$(CC) -o $@ $(LDFLAGS) $(OBJ) $(LIBDRIVER) $(LIBS)
-	install -S 8kb $(DRIVER)
+	install -S 16kb $(DRIVER)
 
 $(LIBDRIVER): 
 	cd $d/libdriver && $(MAKE)