diff options
Diffstat (limited to 'driver')
| -rw-r--r-- | driver/ghci/ghci-wrapper.cabal.in | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/driver/ghci/ghci-wrapper.cabal.in b/driver/ghci/ghci-wrapper.cabal.in index c0053e9834..2616223ada 100644 --- a/driver/ghci/ghci-wrapper.cabal.in +++ b/driver/ghci/ghci-wrapper.cabal.in @@ -1,3 +1,6 @@ +-- WARNING: ghci-wrapper.cabal is automatically generated from ghci-wrapper.cabal.in by +-- ./configure. Make sure you are editing ghci-wrapper.cabal.in, not ghci-wrapper.cabal. + Name: ghci-wrapper Version: @ProjectVersion@ Copyright: XXX @@ -23,4 +26,4 @@ Executable ghci C-Sources: ghci.c -- the following get copied from ../utils by hadrian - getLocation.c isMinTTY.c cwrapper.c
\ No newline at end of file + getLocation.c isMinTTY.c cwrapper.c |