Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
View | Details | Raw Unified | Return to bug 59709 | Differences between
and this patch

Collapse All | Expand All

(-)ghc/ghc.sh.orig (-1 / +2 lines)
Lines 1-2 Link Here
1
#!/bin/bash
1
# Mini-driver for GHC
2
# Mini-driver for GHC
2
exec $GHCBIN $TOPDIROPT ${1+"$@"}
3
exec ${GHCBIN} ${TOPDIROPT} @GHC_CFLAGS@ ${1+"$@"}
(-)ghci/ghci.sh.orig (-1 / +2 lines)
Lines 1-2 Link Here
1
#!/bin/bash
1
# Mini-driver for GHCi
2
# Mini-driver for GHCi
2
exec $GHCBIN $TOPDIROPT --interactive ${1+"$@"}
3
exec ${GHCBIN} ${TOPDIROPT} @GHC_CFLAGS@ --interactive ${1+"$@"}

Return to bug 59709