Update make-opam-files script

MetaCoq · Sep 3, 2024 · b59ea92 · b59ea92
1 parent f7f6ede
commit b59ea92
Showing 1 changed file with 6 additions and 6 deletions.
diff --git a/make-opam-files.sh b/make-opam-files.sh
@@ -1,17 +1,17 @@
 #/usr/bin/env bash
 
-if (($# < 3))
+if (($# < 4))
 then
-    echo "Usage: make-opam-files.sh ../opam/released/packages <version> <package-url>"
+    echo "Usage: make-opam-files.sh ../opam/released/packages <version> <tag> <package-url>"
     exit 0
 fi
 
-archive=`basename $3`
-tag=${archive/.tar.gz/}
+archive=`basename $4`
+tag=$3
 
 echo "Target directory: " $1
 echo "Target version: " $2
-echo "Releases package: " $3
+echo "Releases package: " $4
 echo "Archive:" $archive
 echo "Tag:" $tag
 
@@ -21,7 +21,7 @@ then
     rm $archive
 fi
 
-wget $3
+wget $4
 
 hash=`shasum -a 512 $archive | cut -f 1 -d " "`