Re: cron job: media_tree daily build: OK

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



On 03/21/2016 10:57 AM, Mauro Carvalho Chehab wrote:
> Em Mon, 21 Mar 2016 05:05:07 +0100
> "Hans Verkuil" <hverkuil@xxxxxxxxx> 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.

It was a botched smatch install. It should be OK for the next build.

Thanks for noticing this!

	Hans

--
To unsubscribe from this list: send the line "unsubscribe linux-media" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at  http://vger.kernel.org/majordomo-info.html



[Index of Archives]     [Linux Input]     [Video for Linux]     [Gstreamer Embedded]     [Mplayer Users]     [Linux USB Devel]     [Linux Audio Users]     [Linux Kernel]     [Linux SCSI]     [Yosemite Backpacking]
  Powered by Linux