changeset 4508 | f102cb0140fe |
parent 3052 | b7922b9d7acd |
child 6082 | 590f9e3bf4d8 |
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 |