Lines Matching refs:FILE_DEFAULT

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"
383         install -Dp "$FILE_DEFAULT" "$FILE_DEST"
386         local VER_DEFAULT=`sed -n 's|.*<version .*>\([0-9]*\)</version>|\1|p' "$FILE_DEFAULT"`
403                     if [ ! -f "$FILE_DEFAULT" ]
405 …                      echo "$(basename "$0") failed: Cannot find default config file $FILE_DEFAULT"
408                     install -Dp "$FILE_DEFAULT" "$FILE_DEST"