adjust planetlab patchset against RHEL kernel
[linux-2.6.git] / Makefile
index f84d470..89d3e11 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -86,9 +86,10 @@ trees: sources
 srpm: sources
        mkdir -p SOURCES SRPMS
        (cd SOURCES; rpm2cpio ../$(SOURCE_RPM) | cpio -diu; \
-        cp ../$(notdir $(SPECFILE)) . ; cp ../config-vserver . ; \
+        cp ../$(notdir $(SPECFILE)) . ; cp ../config-vserver . ; cp ../config-planetlab .; \
         for downloaded in $(SOURCEFILES) ; do cp ../$$downloaded . ; done ; \
         cat config-vserver >> config-generic ; \
+        cat config-planetlab >> config-generic ; \
         sed -i -e s,CONFIG_IPV6=m,CONFIG_IPV6=y, config-generic)
        ./rpmmacros.sh
        export HOME=$(shell pwd) ; rpmbuild $(RPMDIRDEFS) $(RPMDEFS) --nodeps -bs $(SPECFILE)