- Sort Score
- Result 10 results
- Languages All
Results 1 - 1 of 1 for replace_drive_letter_with_prefix (0.09 sec)
-
ci/official/pycpp.sh
# ============================================================================== source "${BASH_SOURCE%/*}/utilities/setup.sh" if [[ `uname -s | grep -P '^MSYS_NT'` ]]; then PROFILE_JSON_PATH=$(replace_drive_letter_with_prefix "$TFCI_OUTPUT_WIN_DOCKER_DIR") PROFILE_JSON_PATH="$PROFILE_JSON_PATH/profile.json.gz" else PROFILE_JSON_PATH="$TFCI_OUTPUT_DIR/profile.json.gz" fiRegistered: Tue Dec 30 12:39:10 UTC 2025 - Last Modified: Wed Dec 03 05:57:39 UTC 2025 - 2K bytes - Viewed (0)