Commit ae06df63 authored by ian@well-typed.com's avatar ian@well-typed.com
Browse files

Improve sync-all's old-time-repo check

It now checks that the directory exists before complaining that it's
old.
parent f52b4ad9
......@@ -882,7 +882,7 @@ EOF
}
message "== Checking for old time from tarball";
if (! -e "libraries/time/.git") {
if (-d "libraries/time" and ! -e "libraries/time/.git") {
print <<EOF;
============================
ATTENTION!
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment