Changeset 124442d8697111292878be0f3a4b13a33d0736ed
- Timestamp:
- 20/05/07 18:37:58
(2 years ago)
- Author:
- Felix Paul Kühne <fkuehne@videolan.org>
- git-committer:
- Felix Paul Kühne <fkuehne@videolan.org> 1179679078 +0000
- git-parent:
[5097081b8f6f0b2968500d6b37fc5aeab82cfaab]
- git-author:
- Felix Paul Kühne <fkuehne@videolan.org> 1179679078 +0000
- Message:
* prefer wget over curl
-
Files:
-
Legend:
- Unmodified
- Added
- Removed
- Modified
- Copied
- Moved
| rba62457 |
r124442d |
|
| 244 | 244 | echo "EXTRA_PATH = ${EXTRA_PATH}" >> config.mak |
|---|
| 245 | 245 | |
|---|
| 246 | | if which curl >/dev/null; then |
|---|
| | 246 | if which wget --version >/dev/null 2>&1; then |
|---|
| | 247 | echo "WGET = wget -c" >> config.mak |
|---|
| | 248 | elif curl >/dev/null; then |
|---|
| 247 | 249 | echo "WGET = curl -L -O" >> config.mak |
|---|
| 248 | | elif wget --version >/dev/null 2>&1; then |
|---|
| 249 | | echo "WGET = wget" >> config.mak |
|---|
| 250 | 250 | else |
|---|
| 251 | 251 | echo "You need at least wget or curl to fetch the packages." >&2 |
|---|
