From 1cd72febb703801a5d4abd11810997d5684409e4 Mon Sep 17 00:00:00 2001
From: Marco Yuen <marcoy@gmail.com>
Date: Mon, 19 Dec 2011 10:22:54 -0500
Subject: [PATCH] Change kernel build to 3.1

---
 planetlab.mk | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/planetlab.mk b/planetlab.mk
index 45ed4d23..e84d90e9 100644
--- a/planetlab.mk
+++ b/planetlab.mk
@@ -31,8 +31,8 @@ endif
 # so the source rpm is created by running make srpm in the codebase
 #
 
-kernel-MODULES := linux-2.6
-kernel-SPEC := kernel-2.6.spec
+kernel-MODULES := linux-3
+kernel-SPEC := kernel-3.1.spec
 kernel-BUILD-FROM-SRPM := yes
 ifeq "$(HOSTARCH)" "i386"
 kernel-RPMFLAGS:= --target i686
-- 
2.43.0