changeset 777:879353d1cfba

Update timestamp on freshly downloaded files so cleanup doesn't delete them.
author Rob Landley <rob@landley.net>
date Thu, 02 Jul 2009 16:23:39 -0500
parents 37c083cca810
children e373d2b6d0b8
files sources/functions.sh
diffstat 1 files changed, 1 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/sources/functions.sh	Thu Jul 02 14:12:25 2009 -0500
+++ b/sources/functions.sh	Thu Jul 02 16:23:39 2009 -0500
@@ -259,6 +259,7 @@
   then
     wget -t 2 -T 20 -O "$SRCDIR/$FILENAME" "$1" ||
       (rm "$SRCDIR/$FILENAME"; return 2)
+    touch -c "$SRCDIR/$FILENAME"
   fi
 
   try_checksum