steve
/
factor
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

When curl fails with a 404 error, don't write this error to disk

release
Sheepson Apprentice 2010-04-04 14:30:29 -05:00
parent d70cf197f2
commit 6e40b77a9f
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
build-support/factor.sh
View File

@ -68,7 +68,7 @@ set_downloader() {
if [[ $? -ne 0 ]] ; then if [[ $? -ne 0 ]] ; then
DOWNLOADER=wget DOWNLOADER=wget
else else
DOWNLOADER="curl -O" DOWNLOADER="curl -f -O"
fi fi
} }