diff options
author | Yann E. MORIN <yann.morin.1998@free.fr> | 2017-07-01 16:31:07 +0200 |
---|---|---|
committer | Thomas Petazzoni <thomas.petazzoni@free-electrons.com> | 2017-07-01 17:56:11 +0200 |
commit | afdb545b2847d2a922ee202775998d4658900fec (patch) | |
tree | d21ad6965e27ebc255bccbfd072d8533bda525f5 /docs/manual | |
parent | cb4184d9051c4350762c38dc8f316883861ccc5a (diff) | |
download | buildroot-afdb545b2847d2a922ee202775998d4658900fec.tar.gz buildroot-afdb545b2847d2a922ee202775998d4658900fec.zip |
tools: new tool to filter the output of make
Add brmake, a small script that redirects the build output log to a
file, keeping just Buildroot's own messages, with the date+time added
at the start of the line.
We need to unbuffer the output of make so that, when the script is
interrupted (SIGINT, ^C), there is no lingering output not yet digested
by the logger loop.
Signed-off-by: "Yann E. MORIN" <yann.morin.1998@free.fr>
Cc: Maxime Hadjinlian <maxime.hadjinlian@gmail.com>
Cc: Arnout Vandecappelle <arnout@mind.be>
Cc: Ricardo Martincoski <ricardo.martincoski@gmail.com>
Cc: Samuel Martin <s.martin49@gmail.com>
Signed-off-by: Thomas Petazzoni <thomas.petazzoni@free-electrons.com>
Diffstat (limited to 'docs/manual')
-rw-r--r-- | docs/manual/writing-rules.txt | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/docs/manual/writing-rules.txt b/docs/manual/writing-rules.txt index 3a2c8dcb37..c144874a0d 100644 --- a/docs/manual/writing-rules.txt +++ b/docs/manual/writing-rules.txt @@ -146,5 +146,6 @@ syntax, refer to http://www.methods.co.nz/asciidoc/userguide.html[]. === Support scripts -Some scripts in the +support/+ directory are written in Python and should follow -the https://www.python.org/dev/peps/pep-0008/[PEP8 Style Guide for Python Code]. +Some scripts in the +support/+ and +tools/+ directories are written in +Python and should follow the +https://www.python.org/dev/peps/pep-0008/[PEP8 Style Guide for Python Code]. |