echo define doskey macros for prune, makeirf, reformat  
doskey prune=%HANDOFF_RESPONSEROOT%\VC8debug\prune.exe $*
doskey makeirf=%HANDOFF_RESPONSEROOT%\VC8debug\makeirf.exe $*
doskey reformat=%HANDOFF_RESPONSEROOT%\VC8debug\reformat.exe $*