From 17308fd16c8e790ecd822a69f70f0a8a68f62ac0 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Bar=C4=B1=C5=9F=20Metin?= <Talip-Baris.Metin@sophia.inria.fr>
Date: Sat, 18 Dec 2010 13:19:29 +0100
Subject: [PATCH] ignore "file not found"

---
 scripts/git-mirror.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/git-mirror.sh b/scripts/git-mirror.sh
index 0578e59..ff07de2 100755
--- a/scripts/git-mirror.sh
+++ b/scripts/git-mirror.sh
@@ -168,7 +168,7 @@ done
 # is the stamp older than an hour ? 
 # in minutes
 GRACE=60
-is_old=$(find $RUNNING_FILE -mmin +$GRACE)
+is_old=$(find $RUNNING_FILE -mmin +$GRACE 2> /dev/null)
 if [ -n "$is_old" ] ; then
     msg "$RUNNING_FILE is older than $GRACE minutes - removing"
     rm -f $RUNNING_FILE
-- 
2.43.0