mirror of
https://github.com/Mbed-TLS/mbedtls.git
synced 2025-01-30 06:33:06 +00:00
Improve docs
Signed-off-by: Dave Rodgman <dave.rodgman@arm.com>
This commit is contained in:
parent
c7f05490bb
commit
d0e3827ea2
@ -9,6 +9,17 @@
|
|||||||
# If you are debugging a build / CI issue, you can get complete unsilenced logs
|
# If you are debugging a build / CI issue, you can get complete unsilenced logs
|
||||||
# by un-commenting the following line (or setting VERBOSE_LOGS in your environment):
|
# by un-commenting the following line (or setting VERBOSE_LOGS in your environment):
|
||||||
# VERBOSE_LOGS=1
|
# VERBOSE_LOGS=1
|
||||||
|
#
|
||||||
|
# This script provides most of the functionality for the adjacent make and cmake
|
||||||
|
# wrappers.
|
||||||
|
#
|
||||||
|
# It requires two variables to be set:
|
||||||
|
#
|
||||||
|
# TOOL - the name of the tool that is being wrapped (with no path), e.g. "make"
|
||||||
|
#
|
||||||
|
# NO_SILENCE - a regex that describes the commandline arguments for which output will not
|
||||||
|
# be silenced, e.g. " --version | test ". In this example, "make test" will
|
||||||
|
# not be silent, but "make lib" will be.
|
||||||
|
|
||||||
# Locate original tool
|
# Locate original tool
|
||||||
TOOL_WITH_PATH=$(dirname "$0")/$TOOL
|
TOOL_WITH_PATH=$(dirname "$0")/$TOOL
|
||||||
|
Loading…
x
Reference in New Issue
Block a user