Searched refs:dxsdk_file (Results 1 – 1 of 1) sorted by relevance
42 dxsdk_file="DXSDK_Jun10.exe"52 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"64 cabextract -F "$i" "$dxsdk_file"