Use -e rather than -f when checking for libraries/time/.git
authorIan Lynagh <ian@well-typed.com>
Sun, 2 Dec 2012 21:52:00 +0000 (21:52 +0000)
committerIan Lynagh <ian@well-typed.com>
Sun, 2 Dec 2012 21:52:00 +0000 (21:52 +0000)
Apparently .git can be a file rather than a directory in some cases

sync-all

index 414aa8b..efb84a6 100755 (executable)
--- 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!