From 1a7441f9366428abe1534eb7ee0a8460e3db534f Mon Sep 17 00:00:00 2001
From: Florent Pruvost <florent.pruvost@inria.fr>
Date: Wed, 19 Feb 2025 09:32:19 +0100
Subject: [PATCH] release.sh: restore changelog in release curl command
---
tools/release.sh | 12 ++++++------
1 file changed, 6 insertions(+), 6 deletions(-)
diff --git a/tools/release.sh b/tools/release.sh
index 832dfcd5d..8f04fce9e 100755
--- a/tools/release.sh
+++ b/tools/release.sh
@@ -31,12 +31,12 @@ function gen_changelog()
#echo $lastline
changelog="Changes:\n"
- #for i in `seq $firstline $lastline`
- #do
- # local line=$( head -n $i ChangeLog | tail -n 1 )
- # changelog="$changelog$line\\n"
- # #echo $line
- #done
+ for i in `seq $firstline $lastline`
+ do
+ local line=$( head -n $i ChangeLog | tail -n 1 )
+ changelog="$changelog$line\\n"
+ #echo $line
+ done
changelog="$changelog\nWARNING: Download the source archive by clicking on the link __Download release__ above, please do not consider the automatic Source code links as they are missing the submodules.\nVisit the [documentation](https://solverstack.gitlabpages.inria.fr/chameleon/#quickstart-install) to see how to install Chameleon."
}
--
GitLab