#!/bin/sh REMOTEHOST='' REMOTEDIR='.' CONFIGURE=true BUILD=true TEST=true PORT='' REV='HEAD' PACKAGE='roaraudio' SSH_OPTS='' while [ "$1" != '' ] do case "$1" in '-h'|'--help') echo "Usage: $0 [OPTIONS] host..." echo cat < /dev/null | grep ^/ | head -n 1`' echo "cd $PACKAGE" $CONFIGURE && echo './configure || exit 1' $BUILD && echo '$MAKE || exit 2' $TEST && echo '$MAKE test || exit 3' echo 'exit 0' echo '#ll' } > $LOCALDIR/setup chmod +rx $LOCALDIR/setup tar -czf - $LOCALDIR | ssh $SSH_OPTS "cd $REMOTEDIR && rm -rf $LOCALDIR/$PACKAGE && gunzip | tar -xvf - && cd $LOCALDIR && ./setup" rm -rf $LOCALDIR #ll