From 75ca099bc54bd35c10e554996b8660f708642b14 Mon Sep 17 00:00:00 2001
From: Paul Steckler
Date: Tue, 29 Aug 2017 14:09:03 -0400
Subject: mention issue with OCAMLRUNPARAM and ocamldebug

---
 dev/doc/debugging.txt | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'dev/doc')

diff --git a/dev/doc/debugging.txt b/dev/doc/debugging.txt
index 3e2b435b3e..86e0f04708 100644
--- a/dev/doc/debugging.txt
+++ b/dev/doc/debugging.txt
@@ -53,6 +53,9 @@ Debugging from Caml debugger
      of each of error* functions or anomaly* functions in lib/util.ml
    - If "source db" fails, do a "make printers" and try again (it should build
      top_printers.cmo and the core cma files).
+   - If you have the OCAMLRUNPARAM environment variable set, Coq may hang on
+     startup when run from the debugger. If this happens, unset the variable,
+     re-start Emacs, and run the debugger again.
 
 Global gprof-based profiling
 ============================
-- 
cgit v1.2.3