# HG changeset patch # User Chris Cannam # Date 1414667260 0 # Node ID 7ad02f9ac051c0e929c536dff7d6d7184440afd0 # Parent e9d2ba7cce9594322620ae4504c0d73c7fb61a30# Parent 004555bedba1d97dee81e433744c7e62b6af959f Merge from default branch diff -r e9d2ba7cce95 -r 7ad02f9ac051 SCRIPTS/summarise.sh --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/SCRIPTS/summarise.sh Thu Oct 30 11:07:40 2014 +0000 @@ -0,0 +1,84 @@ +#!/bin/bash + +mydir=$(dirname "$0") +case "$mydir" in /*);; *) mydir=$(pwd)/"$mydir";; esac + +plugindirs="$@" +if [ -z "$plugindirs" ]; then + plugindirs=$(cat .hgsub | grep -v vamp-plugin-sdk | grep -v vamp-plugin-tester | awk '{ print $1; }') +else + for dir in $plugindirs ; do + if [ ! -d "$dir" ]; then + echo "ERROR: Directory $dir not found" + usage + fi + done +fi + +platforms=$(echo REPORTS/[a-z]* | sed 's/REPORTS\///g') + +cat < + + + + + +EOF + +for p in $platforms ; do + echo "" +done + +echo ""; + +yes="✔" +no="✘" +unknown="?" + +for dir in $plugindirs ; do + dir=${dir%/*} + echo "" + for p in $platforms ; do + reportdir="REPORTS/$p" + summary="$reportdir/$dir.summary.txt" + echo "" + done + echo "" +done + +echo "
Plugin Library$p
$dir" + if [ -f "$summary" ]; then + outcome=$(cat "$summary" | awk -F: '{ print $2; }' | sed 's/^ *//') + echo "" + case "$outcome" in + BUILD_FAILED) echo "$no";; + *_FAILED*) echo "$yes";; + OK) echo "$yes";; + *) echo "$unknown";; + esac + echo "" + echo "" + case "$outcome" in + BUILD_FAILED) echo "$no";; + *TEST_FAILED*) echo "$no";; + *_FAILED*) echo "$yes";; + OK) echo "$yes";; + *) echo "$unknown";; + esac + echo "" + echo "" + case "$outcome" in + *FAILED*) echo "$no";; + OK) echo "$yes";; + *) echo "$unknown";; + esac + echo "" + else + echo "$unknown" + fi + echo "
"