Merge branch 'dev'

This commit is contained in:
Ruakij 2022-11-23 19:30:26 +01:00
commit 72b0ef8b11

View File

@ -16,7 +16,7 @@ repositoryFolder="$WORKDIR/.build/repository"
# --- SOURCES --- # --- SOURCES ---
# Get sources locally # Get sources locally
if ! [ -d "$repositoryFolder" ]; then if ! [ -d "$repositoryFolder" ]; then
git clone "${GIT_REPOSITORY}" . git clone "${GIT_REPOSITORY}" "$repositoryFolder"
cloned=True cloned=True
fi fi