Skip to content
Snippets Groups Projects
Commit c14eb5dd authored by David Bühler's avatar David Bühler
Browse files

[dev] Fixes build-release.sh script.

parent baade711
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 2 additions and 2 deletions
dev/build-release.sh
+ 2
− 2
View file @ c14eb5dd
...@@ -81,7 +81,7 @@ FRAMAC_COM_DOWNLOAD="https://www.frama-c.com/download" ...@@ -81,7 +81,7 @@ FRAMAC_COM_DOWNLOAD="https://www.frama-c.com/download"
show_step "Checking version" show_step "Checking version"
VERSION="$(cat VERSION)" VERSION="$(cat VERSION)"
VERSION_SAFE="${VERSION/~/-}" VERSION_SAFE="$(cat VERSION | sed 's/~/-/')"
VERSION_MODIFIER=$(sed VERSION -e s/[0-9.]*\\\(.*\\\)/\\1/) VERSION_MODIFIER=$(sed VERSION -e s/[0-9.]*\\\(.*\\\)/\\1/)
VERSION_MAJOR=$(sed VERSION -e s/\\\([0-9]*\\\).[0-9]*.*/\\1/) VERSION_MAJOR=$(sed VERSION -e s/\\\([0-9]*\\\).[0-9]*.*/\\1/)
VERSION_MINOR=$(sed VERSION -e s/[0-9]*.\\\([0-9]*\\\).*/\\1/) VERSION_MINOR=$(sed VERSION -e s/[0-9]*.\\\([0-9]*\\\).*/\\1/)
...@@ -105,7 +105,7 @@ fi ...@@ -105,7 +105,7 @@ fi
if [ "$VERSION_SAFE" != "$TAG" ]; then if [ "$VERSION_SAFE" != "$TAG" ]; then
echo "The current commit is not tagged with the current version:" echo "The current commit is not tagged with the current version:"
echo "Frama-C Version: $VERSION" echo "Frama-C Version: $VERSION_SAFE"
echo "Frama-C Tag : $TAG" echo "Frama-C Tag : $TAG"
echo_red "Aborting" echo_red "Aborting"
exit 2 exit 2
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment