changeset 1486:d398569effd2

Suppress some warnings.
author Rob Landley <rob@landley.net>
date Mon, 09 Jan 2012 21:03:28 -0600
parents 144d54d7ee4d
children 7ab15346cbf6
files sources/download_functions.sh
diffstat 1 files changed, 2 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/sources/download_functions.sh	Mon Jan 09 06:48:59 2012 -0600
+++ b/sources/download_functions.sh	Mon Jan 09 21:03:28 2012 -0600
@@ -158,7 +158,7 @@
   # If there's a corrupted file, delete it.  In theory it would be nice
   # to resume downloads, but wget creates "*.1" files instead.
 
-  rm "$SRCDIR/$FILENAME" 2> /dev/null
+  rm -f "$SRCDIR/$FILENAME"
 
   return 1
 }
@@ -175,7 +175,7 @@
 
   [ -z "$1" ] && return 1
   wget -t 2 -T 20 -O "$SRCDIR/$FILENAME" "$1" ||
-    (rm "$SRCDIR/$FILENAME"; return 2)
+    (rm -f "$SRCDIR/$FILENAME"; return 2)
   touch -c "$SRCDIR/$FILENAME"
 
   confirm_checksum