enable KVM for fun and profit :)
authorS.Çağlar Onur <caglar@cs.princeton.edu>
Wed, 8 Dec 2010 19:49:09 +0000 (14:49 -0500)
committerS.Çağlar Onur <caglar@cs.princeton.edu>
Wed, 8 Dec 2010 19:49:09 +0000 (14:49 -0500)
Makefile

index 5170a84..0cee0f3 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -91,8 +91,9 @@ srpm: sources
         cat config-vserver >> config-generic ; \
         cat config-planetlab >> config-generic ; \
         cat config-workarounds >> config-generic ; \
-        sed -i -e s,CONFIG_IPV6=m,CONFIG_IPV6=y, config-generic ;\
-        sed -i -e s,CONFIG_MODULE_SIG=y,CONFIG_MODULE_SIG=n, config-generic-rhel)
+        sed -i -e "s,CONFIG_IPV6=m,CONFIG_IPV6=y,g" config-generic ;\
+        sed -i -e "s,CONFIG_MODULE_SIG=y,CONFIG_MODULE_SIG=n,g" config-generic-rhel ;\
+        sed -i -e "/\# CONFIG_KVM is not set/d" config-x86-generic-rhel)
        ./rpmmacros.sh
        export HOME=$(shell pwd) ; rpmbuild $(RPMDIRDEFS) $(RPMDEFS) --nodeps -bs $(SPECFILE)