Makefile: install depext without asking for confirmation

This commit is contained in:
Pietro Abate 2018-08-07 15:52:34 +02:00 committed by Grégoire Henry
parent 94451e1e62
commit a6290733ab
No known key found for this signature in database
GPG Key ID: 50D984F20BD445D2

View File

@ -28,6 +28,6 @@ if [ "$(ocaml -vnum)" != "$ocaml_version" ]; then
opam install --unlock-base ocaml-base-compiler.$ocaml_version
fi
opam list --installed depext || opam install depext
opam list --installed depext || opam --yes install depext
"$script_dir"/install_build_deps.raw.sh