merge from trunk 10727:10728
[bootmanager.git] / Makefile
2007-11-22 Thierry ParmentelatA few goodies from onelab's bootmanager