X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=darcs-all;h=9477d463d094ea76fdad1c78931344960d6868a2;hb=c0a63727d0d59d95bbff8e0b5426714d9269bbb7;hp=c960d07c62292be7177d5193feb44b7ef5b38ddd;hpb=7674431d6b34087d663734880ebf9bf247fe2e93;p=ghc-hetmet.git

diff --git a/darcs-all b/darcs-all
index c960d07..9477d46 100644
--- a/darcs-all
+++ b/darcs-all
@@ -4,12 +4,11 @@ use strict;
 
 # Usage:
 #
-# ./darcs-all [-q] [-s] [--dph] [--extra] [--nofib] [--testsuite] get [darcs get flags]
+# ./darcs-all [-q] [-s] [--dph] [--nofib] [--testsuite] get [darcs get flags]
 #   This gets the GHC core repos, if they do not already exist.
 #   -q says to be quite, and -s to be silent.
-#   --dph, --extra, --nofib, --testsuite also get the dph library,
-#                                        extralibs, nofib and testsuite
-#                                        repos respectively
+#   --dph, --nofib, --testsuite also get the dph library, nofib and
+#                               testsuite repos respectively
 #   The darcs get flag you are most likely to want is --complete. By
 #   default we pass darcs the --partial flag.
 #
@@ -20,6 +19,8 @@ use strict;
 #       ./darcs-all -q send --dry-run
 #   -q says to be quite, and -s to be silent.
 
+$| = 1; # autoflush stdout after each print, to avoid output after die
+
 # Figure out where to get the other repositories from,
 # based on where this GHC repo came from.
 my $defaultrepo = `cat _darcs/prefs/defaultrepo`;
@@ -175,11 +176,6 @@ sub main {
         elsif ($arg eq "--dph") {
             $tags{"dph"} = 1;
         }
-        # --extra says we grab the extra libs with 'get'.
-        # It has no effect on the other commands.
-        elsif ($arg eq "--extra") {
-            $tags{"extralibs"} = 1;
-        }
         # --nofib tells get to also grab the nofib repo.
         # It has no effect on the other commands.
         elsif ($arg eq "--nofib") {