tweak set of rpms for the f12 kernel
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Mon, 14 Dec 2009 10:48:27 +0000 (10:48 +0000)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Mon, 14 Dec 2009 10:48:27 +0000 (10:48 +0000)
f12.mk

diff --git a/f12.mk b/f12.mk
index 64f228d..c0c1329 100644 (file)
--- a/f12.mk
+++ b/f12.mk
@@ -17,6 +17,7 @@ kernel-RPMFLAGS:= --target i686
 else
 kernel-RPMFLAGS:= --target $(HOSTARCH)
 endif
+kernel-RPMFLAGS += --with firmware --without doc
 ALL += kernel
 
 #