From eec5534a39e2806259ebc59df39a24e3b7b07212 Mon Sep 17 00:00:00 2001
From: Marc Fiuczynski <mef@cs.princeton.edu>
Date: Wed, 28 Nov 2007 22:13:02 +0000
Subject: [PATCH] ensure that proper-libs get rpm installed before proper-devel
 or else the rpm installation of proper-devel fails

---
 planetlab.mk | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/planetlab.mk b/planetlab.mk
index d67ef9c0..5fdac713 100644
--- a/planetlab.mk
+++ b/planetlab.mk
@@ -127,7 +127,8 @@ ALL += codemux
 #
 ulogd-MODULES := ulogd
 ulogd-SPEC := ulogd.spec
-ulogd-DEPENDDEVELS := $(kernel_package) proper
+ulogd-DEPENDDEVELS := $(kernel_package)
+ulogd-DEPENDDEVELRPMS := proper-libs proper-devel
 ALL += ulogd
 
 #
-- 
2.47.0