From 4740b4d7bc374bd9ad095faf56718d3e98afb235 Mon Sep 17 00:00:00 2001
From: vkovtun <viktor.kovtun@id.ethz.ch>
Date: Wed, 22 Feb 2023 16:55:00 +0100
Subject: [PATCH] SSDM-13385: Fixing build scripts.

---
 build/bin/branch.sh | 2 +-
 build/bin/build.sh  | 2 +-
 build/bin/tag.sh    | 2 +-
 3 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/build/bin/branch.sh b/build/bin/branch.sh
index 384728c8ccf..d732f745308 100755
--- a/build/bin/branch.sh
+++ b/build/bin/branch.sh
@@ -17,7 +17,7 @@ if [ -n "$branch_heads" ]; then
 fi
 
 # cd to repository root directory
-cd "$(dirname "$0")/../../../.."
+cd "$(dirname "$0")/../.."
 
 # create branch in git from master
 git checkout -b $1
diff --git a/build/bin/build.sh b/build/bin/build.sh
index 2d9b2eb6bd4..6e75bc1e928 100755
--- a/build/bin/build.sh
+++ b/build/bin/build.sh
@@ -30,7 +30,7 @@ branch=$1
 tag=$2
 
 # cd to repository root directory
-cd "$(dirname "$0")/../../../.."
+cd "$(dirname "$0")/../.."
 
 # checkout tag
 git checkout $tag
diff --git a/build/bin/tag.sh b/build/bin/tag.sh
index e0c689a5bad..234c70e6d9a 100755
--- a/build/bin/tag.sh
+++ b/build/bin/tag.sh
@@ -12,7 +12,7 @@ branch=$1
 tag=$2
 
 # cd to repository root directory
-cd "$(dirname "$0")/../../../.."
+cd "$(dirname "$0")/../.."
 
 # switch to branch - exit if it does not exist
 git checkout $branch
-- 
GitLab