... | ... | @@ -62,15 +62,12 @@ HSCOLOUR_SRCS=YES |
|
|
BUILD_DOCBOOK_HTML=YES
|
|
|
BUILD_DOCBOOK_PDF=YES
|
|
|
BUILD_DOCBOOK_PS=YES
|
|
|
BeConservative=YES
|
|
|
EOF
|
|
|
```
|
|
|
|
|
|
|
|
|
If on Linux:
|
|
|
|
|
|
```wiki
|
|
|
$ echo "BeConservative=YES" >> mk/build.mk
|
|
|
```
|
|
|
(Note that `BeConservative` is only relevant on Linux, as it controls usage of `clock_gettime` in the RTS.)
|
|
|
|
|
|
|
|
|
Then:
|
... | ... | |