Merge pull request #1830 from gonsolo/doc_fix

Fix missing step in documentation.
This commit is contained in:
Jerry Zhao
2024-03-18 10:33:44 -07:00
committed by GitHub

View File

@@ -90,7 +90,9 @@ Run the following script based off which compiler you would like to use.
``-s 9`` skips pre-compiling FireMarshal default buildroot Linux sources
``-s 10`` skips running repository clean-up
``-s 10`` skips installing CIRCT
``-s 11`` skips running repository clean-up
.. code-block:: shell