Improve dist script to generate additional archives

1 files changed, 16 insertions, 8 deletions

diff --git a/dist b/dist
index daea9ac..9892cde 100755
--- a/dist
+++ b/dist
@@ -67,17 +67,25 @@ fi
 #
 mkdir -p build2-$v
 
-function dist()
+# Can pass additional list of archives to copy.
+#
+function dist() # <project> [<archive>...]
 {
   local p=$1; shift
   local pv=`cat $p/version`
-  local f="$p-$pv.tar.gz"
-  b "dist($p-default/)"
+
   rm -f build2-$v/$p-$pv.*
-  cp /tmp/$f build2-$v/
-  cd build2-$v
-  sha256sum -b $f >$f.sha256
-  cd ..
+  b "dist($p-default/)"
+
+  local f
+  local e
+  for e in $* tar.gz; do
+    f="$p-$pv.$e"
+    cp /tmp/$f build2-$v/
+    cd build2-$v
+    sha256sum -b $f >$f.sha256
+    cd ..
+  done
   echo build2-$v/$f
 }
 
@@ -87,7 +95,7 @@ for t in $tools; do
   cp $f cppget.org/repository/1/queue/$t/
 done
 
-dist build2-toolchain
+dist build2-toolchain zip
 
 # Regenerate repository manifests.
 #