echo "Usage: $0 <prog_source> <comm_source> <platform>"
echo " <prog_source> bsl,PORT | mib510,PORT | eprb,HOST"
echo " <comm_source> serial@PORT:SPEED | network@HOST:PORT"
echo "Usage: $0 <prog_source> <comm_source> <platform>"
echo " <prog_source> bsl,PORT | mib510,PORT | eprb,HOST"
echo " <comm_source> serial@PORT:SPEED | network@HOST:PORT"
if [ ${PLATFORM} != 'micaz' -a \
${PLATFORM} != 'telosb' -a \
${PLATFORM} != 'iris' -a \
if [ ${PLATFORM} != 'micaz' -a \
${PLATFORM} != 'telosb' -a \
${PLATFORM} != 'iris' -a \