Searched refs:REPO_FOLDER (Results 1 – 1 of 1) sorted by relevance
34 REPO_FOLDER="$WORKSPACE_ROOT/.repo"35 if ! [ -d "$REPO_FOLDER" ]; then