From 0144120b47d45477c85ae1bb8fb4440388da0dbb Mon Sep 17 00:00:00 2001
From: Dave Murphy <wntrmute@users.sourceforge.net>
Date: Thu, 13 Nov 2008 20:24:52 +0000
Subject: [PATCH] make curl fail on 404

---
 build-devkit.sh | 24 ++++++++++++------------
 1 file changed, 12 insertions(+), 12 deletions(-)

diff --git a/build-devkit.sh b/build-devkit.sh
index 65b1a12..1688a99 100644
--- a/build-devkit.sh
+++ b/build-devkit.sh
@@ -325,33 +325,33 @@ else
 
     if [ ! -f downloaded_sources ]
     then
-      $CURL -L -O  $BINUTILS_URL || { echo "Error: Failed to download "$BINUTILS; exit 1; }
+      $CURL -f -L -O  $BINUTILS_URL || { echo "Error: Failed to download "$BINUTILS; exit 1; }
 
-      $CURL -L -O  $GCC_CORE_URL || { echo "Error: Failed to download "$GCC_CORE; exit 1; }
+      $CURL -f -L -O  $GCC_CORE_URL || { echo "Error: Failed to download "$GCC_CORE; exit 1; }
 
-      $CURL -L -O $GCC_GPP_URL || { echo "Error: Failed to download "$GCC_GPP; exit 1; }
+      $CURL -f -L -O $GCC_GPP_URL || { echo "Error: Failed to download "$GCC_GPP; exit 1; }
 
-      $CURL -L -O $GDB_URL || { echo "Error: Failed to download "$GDB; exit 1; }
+      $CURL -f -L -O $GDB_URL || { echo "Error: Failed to download "$GDB; exit 1; }
 
-      $CURL -L -O $NEWLIB_URL || { echo "Error: Failed to download "$NEWLIB; exit 1; }
+      $CURL -f -L -O $NEWLIB_URL || { echo "Error: Failed to download "$NEWLIB; exit 1; }
 
       if [ $VERSION -eq 2 ]
       then
-       $CURL -L -O $LIBOGC_URL || { echo "Error: Failed to download "$LIBOGC; exit 1; }
+       $CURL -f -L -O $LIBOGC_URL || { echo "Error: Failed to download "$LIBOGC; exit 1; }
       fi
 
       if [ $VERSION -eq 1 -o $VERSION -eq 2 ]
       then
-        $CURL -L -O $LIBFAT_URL || { echo "Error: Failed to download "$LIBFAT; exit 1; }
+        $CURL -f -L -O $LIBFAT_URL || { echo "Error: Failed to download "$LIBFAT; exit 1; }
       fi
 
       if [ $VERSION -eq 1 ]
       then
-        $CURL -L -O $LIBNDS_URL || { echo "Error: Failed to download "$LIBNDS; exit 1; }
-        $CURL -L -O $LIBGBA_URL || { echo "Error: Failed to download "$LIBGBA; exit 1; }
-        $CURL -L -O $DSWIFI_URL || { echo "Error: Failed to download "$DSWIFI; exit 1; }
-        $CURL -L -O $LIBMIRKO_URL || { echo "Error: Failed to download "$LIBMIRKO; exit 1; }
-        $CURL -L -O $DEFAULT_ARM7_URL || { echo "Error: Failed to download "$DEFAULT_ARM7; exit 1; }
+        $CURL -f -L -O $LIBNDS_URL || { echo "Error: Failed to download "$LIBNDS; exit 1; }
+        $CURL -f -L -O $LIBGBA_URL || { echo "Error: Failed to download "$LIBGBA; exit 1; }
+        $CURL -f -L -O $DSWIFI_URL || { echo "Error: Failed to download "$DSWIFI; exit 1; }
+        $CURL -f -L -O $LIBMIRKO_URL || { echo "Error: Failed to download "$LIBMIRKO; exit 1; }
+        $CURL -f -L -O $DEFAULT_ARM7_URL || { echo "Error: Failed to download "$DEFAULT_ARM7; exit 1; }
       fi
       SRCDIR=`pwd`
       touch downloaded_sources