projects
/
ghc-hetmet.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Remove cabal-install from ./packages; we've decided not to build it
[ghc-hetmet.git]
/
darcs-all
diff --git
a/darcs-all
b/darcs-all
index
b1451b1
..
28933bf
100644
(file)
--- a/
darcs-all
+++ b/
darcs-all
@@
-143,12
+143,6
@@
sub main {
elsif ($arg eq "-s") {
$verbose = 0;
}
elsif ($arg eq "-s") {
$verbose = 0;
}
- # --ci says we grab cabal-install repo, and the libraries it needs
- # with 'get'.
- # It has no effect on the other commands.
- elsif ($arg eq "--ci") {
- $tags{"ci"} = 1;
- }
# --extra says we grab the extra libs with 'get'.
# It has no effect on the other commands.
elsif ($arg eq "--extra") {
# --extra says we grab the extra libs with 'get'.
# It has no effect on the other commands.
elsif ($arg eq "--extra") {