install kernel-devel*.rpms after kernel build

diff --git a/planetlab.mk b/planetlab.mk
index 3c7fcba..50ff0d3 100644 (file)
--- 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)