On Thu, 27 Oct 2016, Markus Heiser <markus.heiser@xxxxxxxxxxx> wrote: > Hi Jani, > > Am 24.10.2016 um 11:04 schrieb Jani Nikula <jani.nikula@xxxxxxxxx>: > >> I think I saw some of this in the past [1], but then couldn't reproduce >> it after all. Now I'm seeing it again. Sporadically >> Documentation/media/uapi/cec/ gets rebuilt on successive runs of make >> htmldocs, even when nothing has changed. >> >> Output of 'make SPHINXOPTS="-v -v" htmldocs' attached for both cases. >> >> Using Sphinx (sphinx-build) 1.4.6 > > I can't see what's wrong with your "rebuild" file ... > > <build-cec-rebuilding.txt ---------> > loading pickled environment... done > building [mo]: targets for 0 po files that are out of date > building [html]: targets for 0 source files that are out of date > updating environment: 0 added, 0 changed, 0 removed > looking for now-outdated files... none found > no targets are out of date. > build succeeded. > HTML Documentation/DocBook/index.html > <build-cec-rebuilding.txt ---------> Awesome, I screwed up the file names, please check again with build-cec-rebuilding.txt <-> build-ok.txt... BR, Jani. > > Sphinx loads the cached (pickled) environment and says, that no > target was outdated. The build succeeded without any rebuild. > IMO it is sane build ... or do I misunderstood you? > > -- Markus -- > -- Jani Nikula, Intel Open Source Technology Center -- 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
