From: Marc Fiuczynski <mef@cs.princeton.edu>
Date: Tue, 27 Nov 2007 22:17:49 +0000 (+0000)
Subject: install kernel-devel*.rpms after kernel build
X-Git-Tag: 4.2-rc2~438
X-Git-Url: http://git.onelab.eu/?a=commitdiff_plain;h=4718a7e575b785b00027022dd54cdb41bac9786d;p=build.git

install kernel-devel*.rpms after kernel build
---

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)