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 /mk | |
| 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 'mk')
| -rw-r--r-- | mk/custom-settings.mk | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/mk/custom-settings.mk b/mk/custom-settings.mk index 2b4b127102..5f9814b252 100644 --- a/mk/custom-settings.mk +++ b/mk/custom-settings.mk @@ -1,6 +1,3 @@ - --include mk/are-validating.mk - ifeq "$(Validating)" "YES" include mk/flavours/validate.mk -include mk/validate.mk |