From 5517d505db5791a776f2c34caa02ad522c6be49a Mon Sep 17 00:00:00 2001
From: Stefan Lankes <lankes@lfbs.rwth-aachen.de>
Date: Wed, 8 Jun 2011 23:43:29 -0700
Subject: [PATCH] remove SCC workaround

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

diff --git a/kernel/Makefile b/kernel/Makefile
index 8c3b4c8c..fdddee71 100644
--- a/kernel/Makefile
+++ b/kernel/Makefile
@@ -1,4 +1,4 @@
-C_source := main.c tasks.c syscall.c tests.c echo.c init.c #ping.c init.c
+C_source := main.c tasks.c syscall.c tests.c echo.c ping.c init.c
 MODULE := kernel
 
 include $(TOPDIR)/Makefile.inc