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

Add a check for old time packaes

parent ccce9fe6
......@@ -859,6 +859,20 @@ EOF
chdir($pwd);
}
message "== Checking for old time from tarball";
if (! -d "libraries/time/.git") {
print <<EOF;
============================
ATTENTION!
You have an old time package in your GHC tree!
Please remove it (e.g. "rm -r libraries/time"), and then run
"./sync-all get" to get the new repository.
============================
EOF
}
$? = $ec;
}
......
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