Skip to content

Commit 955fdeb

Browse files
committed
Needed for document generation
1 parent 702fa48 commit 955fdeb

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

scripts/buildocaml.js

+1-1
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,7 @@ var path = require('path')
44
var prefix = path.normalize(path.join(__dirname,'..','native'))
55

66
function build() {
7-
cp.execSync('./configure -prefix ' + prefix + ' -no-ocamldoc -no-ocamlbuild -no-shared-libs -no-curses -no-graph -no-pthread -no-debugger && make -j9 world.opt && make install '
7+
cp.execSync('./configure -prefix ' + prefix + ' -no-ocamlbuild -no-curses -no-graph -no-pthread -no-debugger && make -j9 world.opt && make install '
88
, { cwd: path.join(__dirname, '..', 'vendor', 'ocaml'), stdio: [0, 1, 2] })
99
}
1010

0 commit comments

Comments
 (0)