wysiwyng opened this issue 4 years ago · 1 comments
The key specifying the JIT type was changed in 5995314, but this change was not reflected in run_helper.sh.
Fixed by #40.