diff options
Diffstat (limited to 'docs/storage-mgt/rp.tex')
| -rw-r--r-- | docs/storage-mgt/rp.tex | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/docs/storage-mgt/rp.tex b/docs/storage-mgt/rp.tex index 2f83532893..199b284b19 100644 --- a/docs/storage-mgt/rp.tex +++ b/docs/storage-mgt/rp.tex @@ -173,7 +173,6 @@ Installing the GHC is done as follows: \begin{code} ./fptools/mk vi build.mk GhcHcOpts = -O -fasm -Rghc-timing - SplitObjs = NO GhcRtsHcOpts = GhcRtsCcOpts = -g STRIP_CMD =: |