Chris@142: #!/bin/sh
Chris@142: 
Chris@142: revision="$1"
Chris@142: 
Chris@142: if [ -z "$revision" ]; then
Chris@142:     echo "Usage: run-for-revision.sh <hg-revision-id>"
Chris@142:     exit 2
Chris@142: fi
Chris@142: 
Chris@142: tmppath="../../../silvet-hg-$revision-$$"
Chris@142: 
Chris@142: echo
Chris@142: echo "Running timing and validation test script for revision $revision..."
Chris@142: 
Chris@142: echo
Chris@142: echo "Cloning into $tmppath..."
Chris@142: 
Chris@142: hg clone -r"$revision" ../.. "$tmppath" || exit 1
Chris@142: 
Chris@142: echo 
Chris@142: echo "Building..."
Chris@142: 
Chris@142: ( cd "$tmppath" && make -f Makefile.linux ) || exit 1
Chris@142: 
Chris@142: echo
Chris@142: echo "Copying plugin to local directory..."
Chris@142: 
Chris@142: cp "$tmppath"/silvet.so ../.. || exit 1
Chris@142: 
Chris@142: rm -r "$tmppath" 
Chris@142: 
Chris@142: echo
Chris@142: echo "Running timing and evaluation script..."
Chris@142: 
Chris@142: ./run.sh
Chris@142: 
Chris@142: echo
Chris@142: echo "Done, for revision $revision"