Update kernel spec file name

[build.git] / planetlab.mk

diff --git a/planetlab.mk b/planetlab.mk
index 6b80d78..04fe749 100644 (file)
--- a/planetlab.mk
+++ b/planetlab.mk
@@ -31,13 +31,14 @@ 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-DEVEL-RPMS += gettext elfutils-devel
 kernel-BUILD-FROM-SRPM := yes
 ifeq "$(HOSTARCH)" "i386"
-kernel-RPMFLAGS:= --target i686
+kernel-RPMFLAGS:= --target i686 --without tools --without debug --without debuginfo
 else
-kernel-RPMFLAGS:= --target $(HOSTARCH)
+kernel-RPMFLAGS:= --target $(HOSTARCH) --without tools --without debug --without debuginfo
 endif
 kernel-SPECVARS += kernelconfig=planetlab
 KERNELS += kernel