Searched refs:FILE_DEST (Results 1 – 3 of 3) sorted by relevance
29 local FILE_DEST="$1"42 local DEST_BOOT_MOVIE_H264="$FILE_DEST/bootMovie.h264"43 local DEST_BOOT_LOGO_TEX_TGA="$FILE_DEST/bootLogoTex.tga"45 local DEST_ICON_TEX_TGA="$FILE_DEST/iconTex.tga"46 local DEST_BOOT_TV_TGA="$FILE_DEST/bootTvTex.tga"47 local DEST_BOOT_DRC_TGA="$FILE_DEST/bootDrcTex.tga"48 local DEST_BOOT_SOUND_BTSND="$FILE_DEST/bootSound.btsnd"49 local DEST_MANUAL_BFMA="$FILE_DEST/Manual.bfma"202 local FILE_DEST="$2"218 check_xml_version "$FILE_DEST" "$FILE_DEFAULT" "copy_default_if_mismatch"[all …]
325 local FILE_DEST="$1"329 if [ ! -f "$FILE_DEST" ]331 echo "$(basename "$0"): Copying default config file to $FILE_DEST"337 install -Dp "$FILE_DEFAULT" "$FILE_DEST"340 … local TITLEID_DEST=`sed -n 's|.*<title_id .*>\([[:xdigit:]]*\)</title_id>|\1|p' "$FILE_DEST"`352 echo " Copying default config file to $FILE_DEST"358 install -Dp "$FILE_DEFAULT" "$FILE_DEST"371 local FILE_DEST="$1"375 if [ ! -f "$FILE_DEST" ]377 echo "$(basename "$0"): Copying default config file to $FILE_DEST"[all …]
231 local FILE_DEST="$1"235 if [ ! -f "$FILE_DEST" ]237 echo "$(basename "$0"): Copying default config file to $FILE_DEST"243 install -Dp "$FILE_DEFAULT" "$FILE_DEST"247 …-n 's|.*<wup-master-info tool-version="\([^"]*\)" format-version="\([^"]*\)".*>|\1|p' "$FILE_DEST"`260 echo " Copying default config file to $FILE_DEST"266 install -Dp "$FILE_DEFAULT" "$FILE_DEST"268 echo "$(basename "$0") failed: Please update or delete config file: $FILE_DEST"