#!/bin/bash
if [ -z "$1" ] ; then exit ; fi
elf=${1%.*}
ssh ev3 "rm /home/robot/$elf"
ppcarm -gl -XX $1 && scp $elf ev3:/home/robot/
