Mercurial > hg > vamp-build-and-test
changeset 131:85e84012311b
Don't really want to run "time" here
| author | Chris Cannam |
|---|---|
| date | Thu, 07 Feb 2019 11:56:27 +0000 |
| parents | d659ed4b9197 |
| children | 540eca98552e |
| files | SCRIPTS/process.sh |
| diffstat | 1 files changed, 1 insertions(+), 1 deletions(-) [+] |
line wrap: on
line diff
--- a/SCRIPTS/process.sh Thu Feb 07 11:48:53 2019 +0000 +++ b/SCRIPTS/process.sh Thu Feb 07 11:56:27 2019 +0000 @@ -442,7 +442,7 @@ continue fi echo "Running command: VAMP_PATH=\"$pdir\" $hostwrapper vamp-plugin-tester/vamp-plugin-tester$hostext \"$extra\" -t \"$test\" \"$id\"" | tee -a "$log" - if ( VAMP_PATH="$pdir$sep./vampy" time $hostwrapper vamp-plugin-tester/vamp-plugin-tester$hostext "$extra" -t "$test" "$id" 2>&1 | tee -a "$log" ; exit ${PIPESTATUS[0]} ) ; then + if ( VAMP_PATH="$pdir$sep./vampy" $hostwrapper vamp-plugin-tester/vamp-plugin-tester$hostext "$extra" -t "$test" "$id" 2>&1 | tee -a "$log" ; exit ${PIPESTATUS[0]} ) ; then echo "OK" | tee -a "$log" else if [ -n "$do_speedy" ]; then