Index: tools/rockboxdev.sh
===================================================================
--- tools/rockboxdev.sh	(revision 18212)
+++ tools/rockboxdev.sh	(working copy)
@@ -73,6 +73,12 @@
      $tool -Lo $dlwhere/$1 $2/$1
   fi
 
+  if [ $? -ne 0 ] ; then
+      echo "ROCKBOXDEV: couldn't download the file!"
+      echo "ROCKBOXDEV: check your internet connection"
+      exit
+  fi
+
   if test -z "$tool"; then 
     echo "ROCKBOXDEV: No downloader tool found!"
     echo "ROCKBOXDEV: Please install curl or wget and re-run the script"