[GHC] #3375: Add a command-line option to the darcs-all script to specify the darcs repository to use

[GHC]

#3375: Add a command-line option to the darcs-all script to specify the darcs
repository to use
---------------------------------+------------------------------------------
    Reporter:  seliopou          |        Owner:  seliopou        
        Type:  feature request   |       Status:  new             
    Priority:  normal            |    Milestone:                  
   Component:  Build System      |      Version:  6.10.3          
    Severity:  trivial           |   Resolution:                  
    Keywords:  darcs git         |   Difficulty:  Unknown         
    Testcase:                    |           Os:  Unknown/Multiple
Architecture:  Unknown/Multiple  |  
---------------------------------+------------------------------------------
Comment (by simonmar):

 It's not quite there, I think: $repo_base is not used inside darcsall(),
 so if you do
 {{{
 ./darcs-all -r some-other-repo push
 }}}

 the -r option has no effect.

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/3375#comment:3>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler