diff options
| author | Adam Sandberg Eriksson <adam@sandbergericsson.se> | 2020-09-02 15:52:57 -0400 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-09-14 17:46:16 -0400 |
| commit | 35a7b7ecabeba39e53d6dea78ecc2d3eca8b1b24 (patch) | |
| tree | 1ec9370c6604e3b3fbc9f37c61f959ffb830341c | |
| parent | fd5d622a5ee283d3c1f1ccd28b4f73aab30d7d9f (diff) | |
| download | haskell-35a7b7ecabeba39e53d6dea78ecc2d3eca8b1b24.tar.gz | |
docs: -B rts option sounds the bell on every GC (#18351)
| -rw-r--r-- | docs/users_guide/runtime_control.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/users_guide/runtime_control.rst b/docs/users_guide/runtime_control.rst index dbb89a1e5d..2cbcf74047 100644 --- a/docs/users_guide/runtime_control.rst +++ b/docs/users_guide/runtime_control.rst @@ -1253,7 +1253,7 @@ recommended for everyday use! .. rts-flag:: -B - Sound the bell at the start of each (major) garbage collection. + Sound the bell at the start of each garbage collection. Oddly enough, people really do use this option! Our pal in Durham (England), Paul Callaghan, writes: “Some people here use it for a |