Searched refs:RESOURCES_REMOTE (Results 1 – 1 of 1) sorted by relevance
6 RESOURCES_REMOTE="${RESOURCES_REMOTE:-https://github.com/renode/renode-resources.git}"20 clone_if_necessary "renode-resources" "$RESOURCES_REMOTE" "$RESOURCES_BRANCH" "$DIR" "$GUARD"
