# HG changeset patch
# User Chris Cannam
# Date 1420624773 0
# Node ID 5936362b8a40c3d440d5505c4fb3a68a1941874c
# Parent  3308317239fe902039dfb70872c3f232c76060f6
Put cat file last, in case it doesn't end with a newline

diff -r 3308317239fe -r 5936362b8a40 SCRIPTS/process.sh
--- 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)