Re: [dpdk-dev] [PATCH v2] devtools: fix error propagation from check-forbidden-tokens.awk

[Thomas Monjalon]

18/12/2018 16:19, Arnon Warshavsky:
> Bugzilla ID: 165
> Fixes: 4d4c612e6a30 ("devtools: check wrong svg include in guides")
> Signed-off-by: Arnon Warshavsky <ar...@qwilt.com>
> 
> Explicitly collect the error code of the
> multiple awk script calls

Applied, thanks

Note: the explanation must be moved at the beginning of the message.