Searched refs:dxsdk_size (Results 1 – 1 of 1) sorted by relevance
44 dxsdk_size=59945280052 if test "$(stat -c '%s' "$dxsdk_file" 2>/dev/null)" != $dxsdk_size; then54 if test "$(stat -c '%s' "$dxsdk_file" 2>/dev/null)" != $dxsdk_size; then55 echo "Failed to download DirectX SDK: expected $dxsdk_file with size $dxsdk_size"