From c8b45a4a826efe88e17928b3d6f526dc2866312a Mon Sep 17 00:00:00 2001
From: Zachary Snow <zach@zachjs.com>
Date: Tue, 16 Mar 2021 10:54:22 -0400
Subject: bugpoint: add runner option

---
 manual/command-reference-manual.tex | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'manual/command-reference-manual.tex')

diff --git a/manual/command-reference-manual.tex b/manual/command-reference-manual.tex
index e2d54cb03..a3264b4cd 100644
--- a/manual/command-reference-manual.tex
+++ b/manual/command-reference-manual.tex
@@ -656,6 +656,9 @@ are specified, all parts of design will be removed.
 
     -updates
         try to remove process updates from syncs.
+
+    -runner "<prefix>"
+        child process wrapping command, e.g., "timeout 30", or valgrind.
 \end{lstlisting}
 
 \section{cd -- a shortcut for 'select -module <name>'}
-- 
cgit v1.2.3