From 58002fbbaa0cf26436f6d1158c1246daea2de8cf Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Date: Sun, 27 Dec 2009 16:08:07 +0000
Subject: [PATCH] no such "install" rpm

---
 config.planetlab/devel.pkgs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/config.planetlab/devel.pkgs b/config.planetlab/devel.pkgs
index de40c9c8..2d798158 100644
--- a/config.planetlab/devel.pkgs
+++ b/config.planetlab/devel.pkgs
@@ -5,7 +5,7 @@ groupname: PlanetLabDevel
 groupdesc: Building PlanetLab
 # general utilities
 package: sendmail sendmail-cf mailx 
-package: make install 
+package: make 
 package: glibc glibc-common 
 package: bzip2 gzip
 package: cpio tar
-- 
2.47.0