Re: [GHC] #1242: darcs-all needs Bash but has #!/bin/sh

#1242: darcs-all needs Bash but has #!/bin/sh --+- Reporter: Luke Maurer | Owner: Type: bug | Status: closed Priority: normal| Milestone: Compo

Re: [GHC] #1242: darcs-all needs Bash but has #!/bin/sh

#1242: darcs-all needs Bash but has #!/bin/sh --+- Reporter: Luke Maurer | Owner: Type: bug | Status: new Priority: normal| Milestone: Compo

Re: [GHC] #1242: darcs-all needs Bash but has #!/bin/sh

#1242: darcs-all needs Bash but has #!/bin/sh --+- Reporter: Luke Maurer | Owner: Type: bug | Status: new Priority: normal| Milestone: Component: Build

[GHC] #1242: darcs-all needs Bash but has #!/bin/sh

#1242: darcs-all needs Bash but has #!/bin/sh -+-- Reporter: Luke Maurer | Owner: Type: bug | Status: new Priority: normal| Milestone: Component: Build Sy