changeset 10:eb46b43a7c85

Fix to file truncation, introduce metadata di
author Chris Cannam
date Mon, 04 Aug 2014 15:46:46 +0100
parents 2fa8c82e835e
children 8dd6da2a48ee
files METADATA/nondeterministic.txt SCRIPTS/process.sh nondeterministic.txt
diffstat 3 files changed, 3 insertions(+), 3 deletions(-) [+]
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/METADATA/nondeterministic.txt	Mon Aug 04 15:46:46 2014 +0100
@@ -0,0 +1,1 @@
+silvet:silvet
--- a/SCRIPTS/process.sh	Thu Jul 31 16:24:11 2014 +0100
+++ b/SCRIPTS/process.sh	Mon Aug 04 15:46:46 2014 +0100
@@ -92,7 +92,7 @@
     else
 	for id in $ids; do
 	    extra=""
-	    if grep -q "^$id\$" nondeterministic.txt; then
+	    if grep -q "^$id\$" METADATA/nondeterministic.txt; then
 		extra="-n"
 	    fi
 	    if ( VAMP_PATH="$dir" vamp-plugin-tester/vamp-plugin-tester "$extra" "$id" 2>&1 | tee "$reportdir/$dir.test.txt" ; exit ${PIPESTATUS[0]} ) ; then
@@ -153,7 +153,7 @@
     fi
 done
 
-truncate -s0 "$reportdir/$dir.summary.txt"
+cat /dev/null > "$reportdir/$dir.summary.txt"
 
 echo
 echo "** Successfully built and tested:"
--- a/nondeterministic.txt	Thu Jul 31 16:24:11 2014 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,1 +0,0 @@
-silvet:silvet