X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=darcs-all;h=963dfa3b0110d747e51fc1d4a4457773235a99a6;hb=cfdf2515dd5b491f8229d44b98fa33adeeac7e60;hp=79f7a832596f2ad01be36a510f289646d71836cf;hpb=92907d5d5e5f4d2a84a872500f40d909b5ee53b1;p=ghc-hetmet.git

diff --git a/darcs-all b/darcs-all
index 79f7a83..963dfa3 100644
--- a/darcs-all
+++ b/darcs-all
@@ -285,6 +285,11 @@ sub main {
         elsif ($arg eq "--testsuite") {
             $tags{"testsuite"} = 1;
         }
+        # --extralibs tells get to also grab the extra repos.
+        # It has no effect on the other commands.
+        elsif ($arg eq "--extra") {
+            $tags{"extra"} = 1;
+        }
         elsif ($arg eq "--checked-out") {
             $checked_out_flag = 1;
         }