[commit: ghc] master: Add option `no-keep-hi-files` and `no-keep-o-files` (fixes #4114) (2414952)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/ghc

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/24149528a0a2d17ff9b5b087e0a8249c8c9cef98/ghc

>---------------------------------------------------------------

commit 24149528a0a2d17ff9b5b087e0a8249c8c9cef98
Author: Kai Harries <kai.harries at gmail.com>
Date:   Thu Mar 24 22:33:27 2016 +0100

    Add option `no-keep-hi-files` and `no-keep-o-files` (fixes #4114)
    
    Summary: Remove `.hi` and `.o` files if the flags `no-keep-hi-files` and
    `no-keep-o-files` are given.
    
    Test Plan: ./validate
    
    Reviewers: austin, thomie, bgamari
    
    Reviewed By: thomie, bgamari
    
    Subscribers: thomie
    
    Differential Revision: https://phabricator.haskell.org/D2021
    
    GHC Trac Issues: #4114


>---------------------------------------------------------------

24149528a0a2d17ff9b5b087e0a8249c8c9cef98
 compiler/main/DriverPipeline.hs                     |  6 ++++++
 compiler/main/DynFlags.hs                           | 20 ++++++++++++++++++++
 docs/users_guide/separate_compilation.rst           | 21 +++++++++++++++++++--
 testsuite/tests/driver/T4114a.hs                    | 14 ++++++++++++++
 testsuite/tests/driver/T4114aSub.hs                 | 20 ++++++++++++++++++++
 testsuite/tests/driver/T4114b.hs                    | 13 +++++++++++++
 testsuite/tests/driver/T4114bSub.hs                 | 20 ++++++++++++++++++++
 testsuite/tests/driver/T4114c.hs                    | 14 ++++++++++++++
 testsuite/tests/driver/T4114cSub.hs                 | 20 ++++++++++++++++++++
 testsuite/tests/driver/T4114d.hs                    | 14 ++++++++++++++
 testsuite/tests/driver/T4114dSub.hs                 | 20 ++++++++++++++++++++
 testsuite/tests/driver/all.T                        |  5 +++++
 .../mkUserGuidePart/Options/KeepingIntermediates.hs | 12 ++++++++++++
 13 files changed, 197 insertions(+), 2 deletions(-)

Diff suppressed because of size. To see it, use:

    git diff-tree --root --patch-with-stat --no-color --find-copies-harder --ignore-space-at-eol --cc 24149528a0a2d17ff9b5b087e0a8249c8c9cef98