diff options
| -rw-r--r-- | docs/building/building.xml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/docs/building/building.xml b/docs/building/building.xml index 1e2db413dc..dd1f7d918d 100644 --- a/docs/building/building.xml +++ b/docs/building/building.xml @@ -3722,6 +3722,7 @@ $ ./configure</screen> <programlisting>GhcUnregisterised = YES GhcLibHcOpts = -O -fvia-C -keep-hc-files +GhcRtsHcOpts = -keep-hc-files GhcLibWays = SplitObjs = NO GhcWithNativeCodeGen = NO |