comparison SCRIPTS/summarise.sh @ 120:4729c8589274 emscripten-piper

Add piper builds
author Chris Cannam
date Fri, 11 Nov 2016 15:49:32 +0000
parents 793467b5e61c
children
comparison
equal deleted inserted replaced
119:4d3bba3c0fe7 120:4729c8589274
126 dir="$2" 126 dir="$2"
127 outcome="$3" 127 outcome="$3"
128 case "$outcome" in 128 case "$outcome" in
129 OK) 129 OK)
130 id=$(vcs_id "$dir") 130 id=$(vcs_id "$dir")
131 package=$(echo "PACKAGES/$platform/$dir-$platform-$id".*) 131 pubtag="$platform"
132 if [ "$pubtag" = "piper-js" ]; then
133 pubtag=piper
134 fi
135 package=$(echo "PACKAGES/$platform/$dir-$pubtag-$id".*)
132 echo "package is $package" 1>&2 136 echo "package is $package" 1>&2
133 if [ -f "$package" ]; then 137 if [ -f "$package" ]; then
134 echo "<a href='$package'>$dl</a>" 138 echo "<a href='$package'>$dl</a>"
135 fi 139 fi
136 ;; 140 ;;