From 80b73859a2b0b30cd5729431a4554a0dd14069f5 Mon Sep 17 00:00:00 2001
From: Wilson Snyder <wsnyder@wsnyder.org>
Date: Sat, 17 Sep 2022 08:00:40 -0400
Subject: [PATCH] Commentary: Some fixes from 'develop-v5'

---
 bin/verilator | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/bin/verilator b/bin/verilator
index 852ad516c..b6495eee5 100755
--- a/bin/verilator
+++ b/bin/verilator
@@ -344,7 +344,7 @@ detailed descriptions of these arguments.
     --lint-only                 Lint, but do not make output
     --make <build-tool>         Generate scripts for specified build tool
      -MAKEFLAGS <flags>         Arguments to pass to make during --build
-    --main                      Generate C++ main()
+    --main                      Generate C++ main() file
     --max-num-width <value>     Maximum number width (default: 64K)
     --Mdir <directory>          Name of output object directory
     --MMD                       Create .d dependency files
@@ -356,6 +356,7 @@ detailed descriptions of these arguments.
      -O<optimization-letter>    Selectable optimizations
      -o <executable>            Name of final executable
     --no-order-clock-delay      Disable ordering clock enable assignments
+    --no-verilate               Skip Verilation, only compile previously Verilated code
     --output-split <statements>          Split .cpp files into pieces
     --output-split-cfuncs <statements>   Split model functions
     --output-split-ctrace <statements>   Split tracing functions