comparison SCRIPTS/process.sh @ 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 4acb5d8d80b6
comparison
equal deleted inserted replaced
130:d659ed4b9197 131:85e84012311b
440 fi 440 fi
441 if [ -z "$run_this_test" ]; then 441 if [ -z "$run_this_test" ]; then
442 continue 442 continue
443 fi 443 fi
444 echo "Running command: VAMP_PATH=\"$pdir\" $hostwrapper vamp-plugin-tester/vamp-plugin-tester$hostext \"$extra\" -t \"$test\" \"$id\"" | tee -a "$log" 444 echo "Running command: VAMP_PATH=\"$pdir\" $hostwrapper vamp-plugin-tester/vamp-plugin-tester$hostext \"$extra\" -t \"$test\" \"$id\"" | tee -a "$log"
445 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 445 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
446 echo "OK" | tee -a "$log" 446 echo "OK" | tee -a "$log"
447 else 447 else
448 if [ -n "$do_speedy" ]; then 448 if [ -n "$do_speedy" ]; then
449 echo | tee -a "$log" 449 echo | tee -a "$log"
450 echo "Tester failed for id $id and test $test (not restarting with valgrind, as speedy flag is set)" | tee -a "$log" 450 echo "Tester failed for id $id and test $test (not restarting with valgrind, as speedy flag is set)" | tee -a "$log"