ops

cwida · Nov 13, 2024 · 831128d · 831128d
1 parent cba99e9
commit 831128d
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/publication/master_script/master_script.sh b/publication/master_script/master_script.sh
@@ -11,8 +11,8 @@ green_echo() {
 green_echo "Setting up workspace variables..."
 WORKSPACE=$(pwd) # Assuming this is the workspace directory
 REPO_URL="https://github.com/cwida/ALP.git"
-CLONED_DIR="$WORKSPACE/CLONED_ALP" # Define target directory for the clone
-BRANCH="repro"                     # Branch to clone
+CLONED_DIR="$WORKSPACE/ALP" # Define target directory for the clone
+BRANCH="repro"                 # Branch to clone
 
 green_echo "Cloning or updating repository..."
 # Clone the repository if it doesn't already exist