diff options
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/binman/binman.rst | 4 |
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> |