Search Options

Results per page
Sort
Preferred Languages
Advance

Results 1 - 1 of 1 for replace_drive_letter_with_prefix (0.09 sec)

  1. 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"
    fi
    
    Registered: Tue Dec 30 12:39:10 UTC 2025
    - Last Modified: Wed Dec 03 05:57:39 UTC 2025
    - 2K bytes
    - Viewed (0)
Back to top