fixed so as to use correct default value when prompt is on
[bootmanager.git] / Makefile
2007-11-22 Thierry ParmentelatA few goodies from onelab's bootmanager