add binutils-devel to f12 as well for building k32

[build.git] / config.planetlab / devel.pkgs

diff --git a/config.planetlab/devel.pkgs b/config.planetlab/devel.pkgs
index 069d81a..85bbec1 100644 (file)
--- a/config.planetlab/devel.pkgs
+++ b/config.planetlab/devel.pkgs
@@ -51,7 +51,7 @@ package: wget
 package: beecrypt-devel 
 package: tetex-latex
 package: gcc-c++ 
-package>=f14: binutils-devel
+package>=f12: binutils-devel
 # iptables
 package: linuxdoc-tools 
 package: sudo