diff options
| author | Ryan Scott <ryan.gl.scott@gmail.com> | 2021-01-31 08:51:19 -0500 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2021-02-01 14:05:31 -0500 |
| commit | 5464845a012bf174cfafe03aaeb2e47150e7efb5 (patch) | |
| tree | d2132dcea672bb45fdb0345cc72d3cd38069e7b3 /.gitignore | |
| parent | d4bcd37f15a59cea22fbaef280cd85cac20872bf (diff) | |
| download | haskell-5464845a012bf174cfafe03aaeb2e47150e7efb5.tar.gz | |
Add driver/ghci/ghci-wrapper.cabal to .gitignore
After commit 55ef3bdc28681a22ceccf207707c49229f9b7559, running `./configure`
now generates a `driver/ghci/ghci-wrapper.cabal` file from
`driver/ghci/ghci-wrapper.cabal.in`, which pollutes the `git` tree:
```
$ git status
On branch master
Your branch is up to date with 'origin/master'.
Untracked files:
(use "git add <file>..." to include in what will be committed)
driver/ghci/ghci-wrapper.cabal
nothing added to commit but untracked files present (use "git add" to track)
```
Since `driver/ghci/ghci-wrapper.cabal` is autogenerated, the sensible thing to
do is to add it to `.gitignore`. While I was in town, I also added the standard
`*.in` file disclaimer to `driver/ghci/ghci-wrapper.cabal.in`.
[ci skip]
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 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 |