BVK Chaitanya ab4da2cd36 build fixes for real platforms		2010-05-06 09:33:45 +05:30
..
efi	* util/grub-install.in: Use mkdir -p to create grub directory.	2010-04-03 20:48:36 +02:00
pc	build fixes for real platforms	2010-05-06 09:33:45 +05:30