What does replatforms do? Which stages does it reset? Perhaps it would be better to have more descriptive target names, for example: gmake platforms-reconfigure gmake platforms-repackage gmake platforms-clean etc. Maciej