unzip

alexcrichton · Oct 20, 2023 · b1e7ae9 · b1e7ae9
1 parent 05b5454
commit b1e7ae9
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/ci/merge-artifacts.sh b/ci/merge-artifacts.sh
@@ -36,8 +36,8 @@ for min in bins-*-min/*.zip; do
 
   rm -rf tmp
   mkdir tmp
-  (cd tmp && unzip ../$min)
-  (cd tmp && unzip ../$normal)
+  (cd tmp && unzip -o ../$min)
+  (cd tmp && unzip -o ../$normal)
   (cd tmp && 7z a ../dist/$dir.zip $dir/)
   rm $min $normal
 done