From 2936ede28758713e2b32fad5749c622fdaaefd8e Mon Sep 17 00:00:00 2001 From: Simon Marlow Date: Wed, 17 Feb 2010 10:46:34 +0000 Subject: [PATCH] darcs-all --extra get: gets a few extra packages currently deepseq, parallel, stm. --- darcs-all | 5 +++++ packages | 3 +++ 2 files changed, 8 insertions(+) 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; } diff --git a/packages b/packages index 7feed1f..f636197 100644 --- a/packages +++ b/packages @@ -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 -- 1.7.10.4