diff options
Diffstat (limited to 'utils/mkUserGuidePart/Options/RecompilationChecking.hs')
| -rw-r--r-- | utils/mkUserGuidePart/Options/RecompilationChecking.hs | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/utils/mkUserGuidePart/Options/RecompilationChecking.hs b/utils/mkUserGuidePart/Options/RecompilationChecking.hs deleted file mode 100644 index f119c1111e..0000000000 --- a/utils/mkUserGuidePart/Options/RecompilationChecking.hs +++ /dev/null @@ -1,15 +0,0 @@ -module Options.RecompilationChecking where - -import Types - -recompilationCheckingOptions :: [Flag] -recompilationCheckingOptions = - [ flag { flagName = "-fforce-recomp" - , flagDescription = - "Turn off recompilation checking. This is implied by any " ++ - "``-ddump-X`` option when compiling a single file " ++ - "(i.e. when using :ghc-flag:`-c`)." - , flagType = DynamicFlag - , flagReverse = "-fno-force-recomp" - } - ] |