diff options
Diffstat (limited to 'hadrian/doc/make.md')
| -rw-r--r-- | hadrian/doc/make.md | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/hadrian/doc/make.md b/hadrian/doc/make.md index b047baed1d..6d20d42503 100644 --- a/hadrian/doc/make.md +++ b/hadrian/doc/make.md @@ -141,17 +141,6 @@ time you fire up a build. This is not possible with the Make build system. all the options that hadrian supports and what they correspond to in the Make build system. -- Generate the `platformConstants` file to be used for stage 1/2 GHC - - ``` sh - # Make - make inplace/lib/platformConstants - - # Hadrian - build _build/stage0/lib/platformConstants - build _build/stage1/lib/platformConstants - ``` - - Generate the `settings` file to be used for stage 1/2 GHC ``` sh |