From d0f7746e308dcfd555e4d7603c43210213281649 Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Date: Mon, 14 Dec 2009 10:48:27 +0000
Subject: [PATCH] tweak set of rpms for the f12 kernel

---
 f12.mk | 1 +
 1 file changed, 1 insertion(+)

diff --git a/f12.mk b/f12.mk
index 64f228df..c0c13294 100644
--- 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
 
 #
-- 
2.47.0