From c514e32a3b980c9d640c86d70c9ac1826d33a10a Mon Sep 17 00:00:00 2001
From: Jason Volk <jason@zemos.net>
Date: Wed, 29 Apr 2020 14:59:29 -0700
Subject: [PATCH] doc: Add note for --with-assert=trap [ci skip]

---
 doc/BUILD.md | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/doc/BUILD.md b/doc/BUILD.md
index 6412304d6..1e3865e88 100644
--- a/doc/BUILD.md
+++ b/doc/BUILD.md
@@ -102,6 +102,12 @@ reliably. Please report bugs._
 Implied by `--enable-debug`. This is useful to specifically enable `assert()`
 statements when `--enable-debug` is not used.
 
+```
+--with-assert=trap
+```
+Recommended when using `--enable-assert` for debugging. This replaces the
+default mechanism of assertion with traps rather than aborts; allowing
+developers to explore an unterminated program.
 
 #### Manually enable optimization