summaryrefslogtreecommitdiff
path: root/tools
diff options
context:
space:
mode:
authorTom Rini <[email protected]>2023-03-01 16:07:24 -0500
committerTom Rini <[email protected]>2023-03-01 16:07:24 -0500
commit33fb2d130e28982b488c2a54978031835ed2aa71 (patch)
treebcbe5f62935925e7f2df5bfc2380e8d740646f44 /tools
parentb0eda49bc9b00503366f2ec431be0178caf9e9b5 (diff)
parentabe2a16aa52ea21acb435e9f1d9c85f5ac4e7794 (diff)
Merge tag 'dm-pull-29feb23' of https://source.denx.de/u-boot/custodians/u-boot-dm
minor sandbox fixes a37xx fix Add camel-case tool, since the conversion will take a while
Diffstat (limited to 'tools')
-rw-r--r--tools/binman/binman.rst4
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/binman/binman.rst b/tools/binman/binman.rst
index 03a99a19bc6..0921e318785 100644
--- a/tools/binman/binman.rst
+++ b/tools/binman/binman.rst
@@ -393,9 +393,9 @@ system-library directory, replace the last line with:
Running binman
--------------
-Type::
+Type:
-.. code-block: bash
+.. code-block:: bash
make NO_PYTHON=1 PREFIX=/ install
binman build -b <board_name>