Searched refs:FILE_DEFAULT (Results 1 – 3 of 3) sorted by relevance
326 local FILE_DEFAULT="$2"332 if [ ! -f "$FILE_DEFAULT" ]334 echo "$(basename "$0") failed: Cannot find default config file $FILE_DEFAULT"337 install -Dp "$FILE_DEFAULT" "$FILE_DEST"353 if [ ! -f "$FILE_DEFAULT" ]355 echo "$(basename "$0") failed: Cannot find default config file $FILE_DEFAULT"358 install -Dp "$FILE_DEFAULT" "$FILE_DEST"372 local FILE_DEFAULT="$2"378 if [ ! -f "$FILE_DEFAULT" ]380 echo "$(basename "$0") failed: Cannot find default config file $FILE_DEFAULT"[all …]
232 local FILE_DEFAULT="$2"238 if [ ! -f "$FILE_DEFAULT" ]240 echo "$(basename "$0") failed: Cannot find default config file $FILE_DEFAULT"243 install -Dp "$FILE_DEFAULT" "$FILE_DEST"246 …'s|.*<wup-master-info tool-version="\([^"]*\)" format-version="\([^"]*\)".*>|\1|p' "$FILE_DEFAULT"`261 if [ ! -f "$FILE_DEFAULT" ]263 echo "$(basename "$0") failed: Cannot find default config file $FILE_DEFAULT"266 install -Dp "$FILE_DEFAULT" "$FILE_DEST"
201 local FILE_DEFAULT="$1"218 check_xml_version "$FILE_DEST" "$FILE_DEFAULT" "copy_default_if_mismatch"