diff options
-rw-r--r-- | .gitignore | 1 | ||||
-rw-r--r-- | driver/ghci/ghci-wrapper.cabal.in | 5 |
2 files changed, 5 insertions, 1 deletions
diff --git a/.gitignore b/.gitignore index 1d296980e5..aa47ad2953 100644 --- a/.gitignore +++ b/.gitignore @@ -125,6 +125,7 @@ _darcs/ /docs/users_guide/utils.pyc /driver/ghci/ghc-pkg-inplace /driver/ghci/ghci-inplace +/driver/ghci/ghci-wrapper.cabal /driver/ghci/ghci.res /driver/ghci/cwrapper.c /driver/ghci/cwrapper.h 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 |