Add the distribution artifact to the list of release files

--
Change-Id: I09053cbd476e5f8bb5bdb9f272ad414d165f6d9f
Reviewed-on: https://bazel-review.googlesource.com/#/c/7131
MOS_MIGRATED_REVID=138855685
diff --git a/scripts/ci/build.sh b/scripts/ci/build.sh
index 06c1026..1adaffe 100755
--- a/scripts/ci/build.sh
+++ b/scripts/ci/build.sh
@@ -149,6 +149,7 @@
     fi
     cp bazel-genfiles/site/jekyll-tree.tar $1/www.bazel.build.tar
     cp bazel-genfiles/scripts/packages/README.md $1/README.md
+    cp bazel-genfiles/bazel-distfile.zip $1/bazel-${release_label}-dist.zip
   fi
 }
 
@@ -441,7 +442,8 @@
     for file in $folder/*; do
       local filename=$(basename $file)
       if [ "$filename" != README.md ]; then
-        if [ "$filename" == "bazel.dsc" ] || [ "$filename" == "bazel.tar.gz" ] ; then
+          if [ "$filename" == "bazel.dsc" ] || [ "$filename" == "bazel.tar.gz" ] \
+                 || [ "$filename" =~ "bazel-(.*)-dist.zip" ]  ; then
           local destfile=${tmpdir}/$filename
         elif [[ "$file" =~ /([^/]*)(\.[^\./]+)$ ]]; then
           local destfile=${tmpdir}/${BASH_REMATCH[1]}-${platform}${BASH_REMATCH[2]}