Skip to content

Commit

Permalink
PMIPA-8564 - Fix when download dest dir doesn't exist on repo_init do…
Browse files Browse the repository at this point in the history
…wnload (#987)
  • Loading branch information
danieldsdias authored Nov 14, 2024
1 parent fef99f9 commit f5ff2d8
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions tools/repo_initialization.sh
Original file line number Diff line number Diff line change
Expand Up @@ -63,6 +63,8 @@ function download_from_tools_on_mamba_sdk() {
fi
local FILE_TO_DOWNLOAD=$1

[ -d "$DOWNLOAD_TO" ] || mkdir -p "$DOWNLOAD_TO"

wget -nv -P $DOWNLOAD_TO -O $FILE_TO_DOWNLOAD $DOWNLOAD_BASEURL/$FILE_TO_DOWNLOAD
add_to_gitignore $FILE_TO_DOWNLOAD
}
Expand Down

0 comments on commit f5ff2d8

Please sign in to comment.