From 6e40b77a9fb33b96fce62757100006aee427cba3 Mon Sep 17 00:00:00 2001
From: Sheepson Apprentice <sheeple@freebsd-x86-32.(none)>
Date: Sun, 4 Apr 2010 14:30:29 -0500
Subject: [PATCH] When curl fails with a 404 error, don't write this error to
 disk

---
 build-support/factor.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build-support/factor.sh b/build-support/factor.sh
index 3a5fb4e253..38bdc8183c 100755
--- a/build-support/factor.sh
+++ b/build-support/factor.sh
@@ -68,7 +68,7 @@ set_downloader() {
     if [[ $? -ne 0 ]] ; then
         DOWNLOADER=wget
     else
-        DOWNLOADER="curl -O"
+        DOWNLOADER="curl -f -O"
     fi
 }