Use -e rather than -f when checking for libraries/time/.git

Apparently .git can be a file rather than a directory in some cases

1 files changed, 1 insertions, 1 deletions

diff --git a/sync-all b/sync-all
index 414aa8bb5d..efb84a614d 100755
--- a/sync-all
+++ b/sync-all
@@ -869,7 +869,7 @@ EOF
     }
 
     message "== Checking for old time from tarball";
-    if (! -d "libraries/time/.git") {
+    if (! -e "libraries/time/.git") {
             print <<EOF;
 ============================
 ATTENTION!