view valgrinder.sh @ 225:11ea1603af99

Pin wget to avoid broken version
author Chris Cannam <c.cannam@qmul.ac.uk>
date Tue, 21 May 2019 09:14:01 +0100
parents c78ec2a208e2
children
line wrap: on
line source
#!/bin/sh
ids=`VAMP_PATH=. vamp-simple-host --list-ids`
testfile=$1
if [ ! -f "$testfile" ]; then
    echo "Usage: valgrinder.sh <testfile.wav>"
    exit 2
fi
for id in $ids; do 
    id=`echo $id | sed 's/^vamp://'`
    echo
    echo "Testing $id on $testfile..."
    echo
    VAMP_PATH=. valgrind vamp-simple-host "$id" "$testfile" -o /dev/null
    echo
done