On Mar 11, 2016, at 01:53, Vincent Jacques <vincent@vincent-jacques.net> wrote:I think I've had exactly the same problem.My work-around was to run bisect-report in a dedicated, temporary, directory where I copied all the sources.
IIRC it was specific to html reports: other formats worked.2016-03-11 8:33 GMT+01:00 Alan Schmitt <alan.schmitt@polytechnique.org>:Hello,
After moving things around in a project, I'm having trouble generating
bisect reports. This works (in the "interp" directory):
% bisect-report -I _build -html ../report ../bisect*.out
but this does not work (in the directory above):
% bisect-report -I interp/_build -html report bisect*.out
*** system error: src/extract/JsInterpreterBisect.ml: No such file or directory
The file is there though:
% ls interp/_build/src/extract/JsInterpreterBisect.ml
interp/_build/src/extract/JsInterpreterBisect.ml
Have other bisect users encountered this issue?
Thanks a lot,
Alan
--
Openpgp Key ID : 040D0A3B4ED2E5C7
Monthly Athmospheric CO₂ (2016-02, Mauna Loa Obs.): 404.02
--Vincent Jacques
http://vincent-jacques.net
"S'il n'y a pas de solution, c'est qu'il n'y a pas de problème"
Devise Shadock