lib/scripts/patch-scripts.bash
changeset 4508 f102cb0140fe
parent 3052 b7922b9d7acd
child 6082 590f9e3bf4d8
equal deleted inserted replaced
4507:f313d8fb8f49 4508:f102cb0140fe
    21   elif [ -f "$DEFAULT" ]; then
    21   elif [ -f "$DEFAULT" ]; then
    22     echo "using $DEFAULT" >&2
    22     echo "using $DEFAULT" >&2
    23     echo "$DEFAULT"
    23     echo "$DEFAULT"
    24     return
    24     return
    25   else
    25   else
    26     echo "WARNING: $BASE not found!" >&2
    26     echo "ERROR: $BASE not found!" >&2
    27     echo "$DEFAULT"
    27     echo "$DEFAULT"
    28     return
    28     return
    29   fi
    29   fi
    30 }
    30 }
    31 
    31