changeset 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 3308317239fe
children 413a9d26189e
files SCRIPTS/process.sh
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/SCRIPTS/process.sh	Wed Jan 07 09:59:18 2015 +0000
+++ b/SCRIPTS/process.sh	Wed Jan 07 09:59:33 2015 +0000
@@ -441,7 +441,7 @@
     done
     if [ "$good" = "yes" ]; then
 	excess=$(plugin_ids_in "$dir" | sed 's/^/vamp:/' | \
-	    cat "$cdir"/*".cat" - | \
+	    cat - "$cdir"/*".cat" | \
 	    sed 's/::.*//' | \
             sort | \
             uniq -u)