comparison SCRIPTS/process.sh @ 85:5936362b8a40

Put cat file last, in case it doesn't end with a newline
author Chris Cannam
date Wed, 07 Jan 2015 09:59:33 +0000
parents dc4da16ace47
children 413a9d26189e
comparison
equal deleted inserted replaced
84:3308317239fe 85:5936362b8a40
439 echo "NOTE: multiple .cat files found in $cdir" | tee -a "$log" 439 echo "NOTE: multiple .cat files found in $cdir" | tee -a "$log"
440 fi 440 fi
441 done 441 done
442 if [ "$good" = "yes" ]; then 442 if [ "$good" = "yes" ]; then
443 excess=$(plugin_ids_in "$dir" | sed 's/^/vamp:/' | \ 443 excess=$(plugin_ids_in "$dir" | sed 's/^/vamp:/' | \
444 cat "$cdir"/*".cat" - | \ 444 cat - "$cdir"/*".cat" | \
445 sed 's/::.*//' | \ 445 sed 's/::.*//' | \
446 sort | \ 446 sort | \
447 uniq -u) 447 uniq -u)
448 if [ -n "$excess" ]; then 448 if [ -n "$excess" ]; then
449 echo "ERROR: excess or missing definitions in .cat file? $excess" | tee -a "$log" 449 echo "ERROR: excess or missing definitions in .cat file? $excess" | tee -a "$log"