Revision 131:85e84012311b SCRIPTS/process.sh

View differences:

SCRIPTS/process.sh
442 442 
                continue
443 443 
            fi
444 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 446 
	        echo "OK" | tee -a "$log"
447 447 
	    else
448 448 
                if [ -n "$do_speedy" ]; then

Also available in: Unified diff