1 files changed, 14 insertions, 0 deletions
diff --git a/sync-all b/sync-all
index 4a8387d8cb..9a2f753ae6 100755
--- a/sync-all
+++ b/sync-all
@@ -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;
 }