From 4718a7e575b785b00027022dd54cdb41bac9786d Mon Sep 17 00:00:00 2001
From: Marc Fiuczynski <mef@cs.princeton.edu>
Date: Tue, 27 Nov 2007 22:17:49 +0000
Subject: [PATCH] install kernel-devel*.rpms after kernel build

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

diff --git a/planetlab.mk b/planetlab.mk
index 3c7fcba9..50ff0d3d 100644
--- a/planetlab.mk
+++ b/planetlab.mk
@@ -41,10 +41,11 @@ KERNELS += srpm-kernel-$(HOSTARCH)
 #endif
 
 kernel: $(KERNELS)
+	sudo rpm -Uvh RPMS/i686/kernel-devel*.rpm
+
 kernel-clean: $(foreach package,$(KERNELS),$(package)-clean)
 
 kernel-devel: $(KERNELS)
-	sudo rpm -Uvh RPMS/i686/kernel-devel*.rpm
 
 ALL += $(KERNELS)
 
-- 
2.43.0