diff options
| author | Thomas Miedema <thomasmiedema@gmail.com> | 2015-10-03 21:42:52 +0200 |
|---|---|---|
| committer | Thomas Miedema <thomasmiedema@gmail.com> | 2015-10-04 23:28:21 +0200 |
| commit | aecf4a5f96d0d3ffcf4cb2c67a20a610d7c64486 (patch) | |
| tree | dee88bdac595798e79582ce3f39f55f824906ca2 /.gitignore | |
| parent | 620fc6f909cd6e51b5613454097ec1c9f323839a (diff) | |
| download | haskell-aecf4a5f96d0d3ffcf4cb2c67a20a610d7c64486.tar.gz | |
Build system: don't create mk/are-validating.mk
A `make` build after running `./validate` earlier should use the normal
mk/build.mk settings, without having to manually delete the leftover
file mk/are-validating or run `make clean` first.
Reviewed by: austin
Differential Revision: https://phabricator.haskell.org/D1307
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/.gitignore b/.gitignore index 48ab1943eb..e61c47eb79 100644 --- a/.gitignore +++ b/.gitignore @@ -130,7 +130,6 @@ _darcs/ /libraries/plus.gif /libraries/synopsis.png /libraries/stamp/ -/mk/are-validating.mk /mk/build.mk /mk/config.h /mk/config.h.in |