search

resource-reasoning / jscert_dev

This repository is now abandoned in favour of using
https://github.com/jscert/jscert
Other
0 stars 0 forks source link

`make report` uses wrong path for bisect-report #8

Open IgnoredAmbience opened 9 years ago

IgnoredAmbience commented 9 years ago 
cw2312@pixel16:~/jscert$ make report bisect-report -html report bisect*.out *** system error: src/extract/JsInterpreterBisect.ml: No such file or directory make: *** [report] Error 1

missing interp/ prefix

IgnoredAmbience commented 9 years ago

Also wrong path for bisect-report:

*** system error: src/extract/JsInterpreterBisect.cmp: No such file or directory