install kernel-devel*.rpms after kernel build
authorMarc Fiuczynski <mef@cs.princeton.edu>
Tue, 27 Nov 2007 22:17:49 +0000 (22:17 +0000)
committerMarc Fiuczynski <mef@cs.princeton.edu>
Tue, 27 Nov 2007 22:17:49 +0000 (22:17 +0000)
commit4718a7e575b785b00027022dd54cdb41bac9786d
treea9f9068570f7e94200dd0f04963eb07f7091ba1f
parent5ac22b7635fed1568b213e5e8b12a5aa90e8e7ef
install kernel-devel*.rpms after kernel build
planetlab.mk