Skip to content
This repository has been archived by the owner on Jul 31, 2018. It is now read-only.

make report uses wrong path for bisect-report #8

Open
IgnoredAmbience opened this issue Mar 10, 2015 · 1 comment
Open

make report uses wrong path for bisect-report #8

IgnoredAmbience opened this issue Mar 10, 2015 · 1 comment

Comments

@IgnoredAmbience
Copy link
Member

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
Copy link
Member Author

Also wrong path for bisect-report:

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

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Projects
None yet
Development

No branches or pull requests

1 participant