summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--darcs-all15
1 files changed, 15 insertions, 0 deletions
diff --git a/darcs-all b/darcs-all
index 2792481633..9defa0cc50 100644
--- a/darcs-all
+++ b/darcs-all
@@ -295,6 +295,21 @@ version of bytestring will be used from a tarball instead.
EOF
}
}
+
+ message "== Checking for unpulled tarball patches";
+ if ((system "darcs annotate --match 'hash 20090930200358-3fd76-cab3bf4a0a9e3902eb6dd41f71712ad3a6a9bcd1' > /dev/null 2> /dev/null") == 0) {
+ print <<EOF;
+============================
+ATTENTION!
+
+You have the unpulled tarball patches in your GHC tree!
+
+Please remove them:
+ darcs unpull -p "Use mingw tarballs to get mingw on Windows"
+and say yes to each patch.
+============================
+EOF
+ }
}
main(@ARGV);