diff options
| -rw-r--r-- | darcs-all | 5 | ||||
| -rw-r--r-- | packages | 3 |
2 files changed, 8 insertions, 0 deletions
@@ -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; } @@ -48,3 +48,6 @@ libraries/utf8-string packages/utf8-string darcs libraries/Win32 packages/Win32 darcs testsuite testsuite testsuite darcs nofib nofib nofib darcs +libraries/deepseq extra packages/deepseq darcs +libraries/parallel extra packages/parallel darcs +libraries/stm extra packages/stm darcs |