From fa5288b36640b8d41dd7a24bdba732da9d686c05 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Carl-Benedikt=20Kr=C3=BCger?=
 <benedikt.krueger@rwth-aachen.de>
Date: Tue, 12 Jul 2011 15:18:34 +0200
Subject: [PATCH] shell test

---
 kernel/shell.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/kernel/shell.c b/kernel/shell.c
index c7e68a08..bfa346d1 100644
--- a/kernel/shell.c
+++ b/kernel/shell.c
@@ -17,6 +17,7 @@ static int iamsrv = 0;
 
 void shelldebugprintf(char* x,...)
 {
+    kprintf("debugprinting");
     if (iamsrv)
         srv_sendBuffer(&srv,emac_id,x,strlen(x));
     else