diff options
| author | Ben Gamari <ben@well-typed.com> | 2019-06-14 14:58:15 -0400 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2019-06-18 16:01:31 -0400 |
| commit | a491e40c5b7b20ef4a579a6697fb47410e0de25a (patch) | |
| tree | 420fc91689e04d7002535dd30bd2a3fa91f11513 /hadrian | |
| parent | 29ec33cd3ee390e8006a88d34f5ea0ac236663d0 (diff) | |
| download | haskell-a491e40c5b7b20ef4a579a6697fb47410e0de25a.tar.gz | |
hadrian: Compile UserSettings with -O0
This guarantees that the interface file for `UserSettings` doesn't
contain any unfoldings, ensuring that a change in it requires minimal
rebuilds.
Diffstat (limited to 'hadrian')
| -rw-r--r-- | hadrian/src/UserSettings.hs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/hadrian/src/UserSettings.hs b/hadrian/src/UserSettings.hs index c92dd11d44..56353bf92a 100644 --- a/hadrian/src/UserSettings.hs +++ b/hadrian/src/UserSettings.hs @@ -1,3 +1,6 @@ +-- Ensure we don't expose any unfoldings to guarantee quick rebuilds +{-# OPTIONS_GHC -O0 #-} + -- If you want to customise your build you should copy this file from -- hadrian/src/UserSettings.hs to hadrian/UserSettings.hs and edit your copy. -- If you don't copy the file your changes will be tracked by git and you can |