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

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

Apparently .git can be a file rather than a directory in some cases
parent c3db2b2c
......@@ -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!
......
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