projects
/
ghc-hetmet.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Use the shared C wrapper code in ghci.c too
[ghc-hetmet.git]
/
darcs-all
diff --git
a/darcs-all
b/darcs-all
index
6340315
..
963dfa3
100644
(file)
--- a/
darcs-all
+++ b/
darcs-all
@@
-213,7
+213,7
@@
sub darcsget {
my ($repo_base, $checked_out_tree) = getrepo();
my ($repo_base, $checked_out_tree) = getrepo();
- if (! grep /(?:--complete|--partial)/, @_) {
+ if (! grep /(?:--complete|--partial|--lazy)/, @_) {
warning("adding --partial, to override use --complete");
$r_flags = [@_, "--partial"];
}
warning("adding --partial, to override use --complete");
$r_flags = [@_, "--partial"];
}
@@
-285,6
+285,11
@@
sub main {
elsif ($arg eq "--testsuite") {
$tags{"testsuite"} = 1;
}
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;
}
elsif ($arg eq "--checked-out") {
$checked_out_flag = 1;
}