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 /utils/checkpackagelib/base.py | |
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 'utils/checkpackagelib/base.py')
0 files changed, 0 insertions, 0 deletions