--- ghc/ghc.sh.orig 2004-09-25 20:07:56.256016992 +0200 +++ ghc/ghc.sh 2004-09-25 20:09:51.779454760 +0200 @@ -1,2 +1,3 @@ +#!/bin/bash # Mini-driver for GHC -exec $GHCBIN $TOPDIROPT ${1+"$@"} +exec ${GHCBIN} ${TOPDIROPT} @GHC_CFLAGS@ ${1+"$@"} --- ghci/ghci.sh.orig 2004-09-25 20:08:07.860252880 +0200 +++ ghci/ghci.sh 2004-09-25 20:09:45.880351560 +0200 @@ -1,2 +1,3 @@ +#!/bin/bash # Mini-driver for GHCi -exec $GHCBIN $TOPDIROPT --interactive ${1+"$@"} +exec ${GHCBIN} ${TOPDIROPT} @GHC_CFLAGS@ --interactive ${1+"$@"}