Skip to content

Commit

Permalink
Merge pull request #16087 from MinaProtocol/dkijania/remove_HEAD_once…
Browse files Browse the repository at this point in the history
…_for_all

pass BRANCH_NAME to export-git-env-vars script properly
  • Loading branch information
dkijania authored Sep 19, 2024
2 parents 5b8924f + 3a04375 commit d55f0df
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion scripts/debian/build.sh
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@ SCRIPTPATH="$( cd "$(dirname "$0")" ; pwd -P )"
# In case of running this script on detached head, script has difficulties in finding out
# what is the current branch.
if [[ -n "$BRANCH_NAME" ]]; then
source ${SCRIPTPATH}/../export-git-env-vars.sh -b $BRANCH_NAME
BRANCH_NAME="$BRANCH_NAME" source ${SCRIPTPATH}/../export-git-env-vars.sh
else
source ${SCRIPTPATH}/../export-git-env-vars.sh
fi
Expand Down

0 comments on commit d55f0df

Please sign in to comment.