diff options
| -rw-r--r-- | doc/faq/different.html.part | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/doc/faq/different.html.part b/doc/faq/different.html.part index 15766fb65..ebbfb4f94 100644 --- a/doc/faq/different.html.part +++ b/doc/faq/different.html.part @@ -28,8 +28,7 @@ a rather ugly way of handling things. We do have equivalents to most values:</p> <dd>See <a href="howdoi.html#distcc">Use <code>distcc</code></a>.</dd> <dt>keepwork, keeptemp, noclean</dt> - <dd>The <code>builtin_tidyup</code> phase does cleaning up. You can turn - this phase off using <code>SKIP_FUNCTIONS="tidyup"</code>.</dd> + <dd>You can use <code>BUILD_OPTIONS: preserve_work</code> for a similar effect.</dd> <dt>nodoc, noinfo, noman</dt> <dd>You could write a hook that removes the relevant directories from |