diff options
Diffstat (limited to 'hadrian/doc')
-rw-r--r-- | hadrian/doc/user-settings.md | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/hadrian/doc/user-settings.md b/hadrian/doc/user-settings.md index 5b6c5ca65a..0cc7807755 100644 --- a/hadrian/doc/user-settings.md +++ b/hadrian/doc/user-settings.md @@ -35,8 +35,10 @@ data Flavour = Flavour { ghciWithDebugger :: Bool, -- | Build profiled GHC. ghcProfiled :: Bool, - -- | Build GHC with debug information. - ghcDebugged :: Bool + -- | Build GHC with the debug RTS. + ghcDebugged :: Bool, + -- | Build GHC with debug assertions. + ghcDebugAssertions :: Bool, -- | Build the GHC executable against the threaded runtime system. ghcThreaded :: Bool, -- | Whether to build docs and which ones |