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