From 0b119f952ed2f7df6a4a49cc443a1b7c3fa61bc3 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Loi=CC=88c=20Correnson?= <loic.correnson@cea.fr>
Date: Wed, 13 Dec 2023 15:19:41 +0100
Subject: [PATCH] [dev] fix make-distrib --codename
---
dev/make-distrib.sh | 19 +++++++++++--------
1 file changed, 11 insertions(+), 8 deletions(-)
diff --git a/dev/make-distrib.sh b/dev/make-distrib.sh
index 0a60322339a..83742a5917c 100755
--- a/dev/make-distrib.sh
+++ b/dev/make-distrib.sh
@@ -53,12 +53,6 @@ else
fi
-VERSION=$(cat VERSION)
-VERSION_SAFE=${VERSION/~/-}
-
-FRAMAC="frama-c-$VERSION_SAFE-$VERSION_CODENAME"
-FRAMAC_TAR="$FRAMAC.tar"
-
################################################################################
# Command Line
@@ -109,13 +103,22 @@ do
CI_LINK=yes
;;
*)
- echo "Don't known what to do with option '$1'"
+ echo "Don't know what to do with option '$1'"
exit 1
;;
esac
shift
done
+################################################################################
+# Target Names
+
+VERSION=$(cat VERSION)
+VERSION_SAFE=${VERSION/~/-}
+
+FRAMAC="frama-c-$VERSION_SAFE-$VERSION_CODENAME"
+FRAMAC_TAR="$FRAMAC.tar"
+
################################################################################
# Check Opam file
@@ -309,5 +312,5 @@ rm -rf $HEADER_SPEC
rm -rf $FRAMAC_TAR
rm -rf $TMP_DIR
-echo "Generated: $FRAMAC_TAR"
+echo "Generated: $FRAMAC_TAR.gz"
echo "----------------------------------------------------------------"
--
GitLab