From b59ea922a0cd2985f62fb7cac00334054df166ef Mon Sep 17 00:00:00 2001
From: Matthieu Sozeau <matthieu.sozeau@inria.fr>
Date: Tue, 3 Sep 2024 13:46:13 +0200
Subject: [PATCH] Update make-opam-files script

---
 make-opam-files.sh | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/make-opam-files.sh b/make-opam-files.sh
index 38bbba529..11e0f122e 100755
--- 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 " "`