Em Mon, 21 Mar 2016 05:05:07 +0100
"Hans Verkuil" <hverk...@xs4all.nl> escreveu:
> This message is generated daily by a cron job that builds media_tree for
> the kernels and architectures in the list below.
>
> Results of the daily build of media_tree:
>
> date: Mon Mar 21 04:00:22 CET 2016
> git branch: test
> git hash: b39950960d2b890c21465c69c7c0e4ff6253c6b5
> gcc version: i686-linux-gcc (GCC) 5.3.0
> sparse version: v0.5.0-56-g7647c77
> smatch version: Warning: /share/smatch/smatch_data/ is not accessible.
> Use --no-data or --data to suppress this message.
> v0.5.0-3353-gcae47da
Not sure how you're running smatch, but what I do here is to run
it as:
/<smatch_dir>/smatch
This way, it finds the smatch_data dir at /<smatch_dir, with also
suppress several false positive error messages from the smatch logs.
As a side effect, it simplifies a little bit the procedure to update
smatch's version.
Regards
--
Thanks,
Mauro
--
To unsubscribe from this list: send the line "unsubscribe linux-media" in
the body of a message to majord...@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html
