diff 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
line wrap: on
line diff
--- a/SCRIPTS/summarise.sh	Fri Nov 11 14:34:56 2016 +0000
+++ b/SCRIPTS/summarise.sh	Fri Nov 11 15:49:32 2016 +0000
@@ -128,7 +128,11 @@
     case "$outcome" in
 	OK)
 	    id=$(vcs_id "$dir")
-	    package=$(echo "PACKAGES/$platform/$dir-$platform-$id".*)
+	    pubtag="$platform"
+	    if [ "$pubtag" = "piper-js" ]; then
+		pubtag=piper
+	    fi
+	    package=$(echo "PACKAGES/$platform/$dir-$pubtag-$id".*)
 	    echo "package is $package" 1>&2
 	    if [ -f "$package" ]; then
 		echo "<a href='$package'>$dl</a>"