# HG changeset patch
# User Chris Cannam
# Date 1441624973 -3600
# Node ID 7d236368c61317fcade68c161f439df1a5e8e552
# Parent  ccaadfc1e6d1ba030d57aa688db265d875650d08# Parent  943b6b853b9a7897222a4634847f261ff5d2f23f
Merge

diff -r ccaadfc1e6d1 -r 7d236368c613 SCRIPTS/process.sh
--- a/SCRIPTS/process.sh	Mon Sep 07 11:15:24 2015 +0100
+++ b/SCRIPTS/process.sh	Mon Sep 07 12:22:53 2015 +0100
@@ -591,7 +591,7 @@
 	    [Ll][Ii][Cc][Ee][Nn][CcSs][Ee]* \
 	    [Cc][Ii][Tt][Aa][Tt][Ii][Oo][Nn]* \
 	    [Cc][Hh][Aa][Nn][Gg][Ee][Ll][Oo][Gg]* \
-	    ../"$pdir"/ || /bin/true
+	    ../"$pdir"/ || true
 	if have_vampy_plugins "$dir"; then
 	    find_vampy_plugins_in "$dir" | while read p; do
 					       cp -av "$p" ../"$pdir"/