Fix k-configure-opam-dev script opam install stdin issue
@@ -4,4 +4,4 @@ opam repository add k "$(dirname "$0")/../lib/opam" \
|| opam repository set-url k "$(dirname "$0")/../lib/opam"
opam update
opam switch 4.03.0+k$1
-opam install mlgmp zarith uuidm camomile atdgen atdj ctypes ctypes-foreign csv uri ocamlbuild-atdgen ocp-ocamlres
+opam install -y mlgmp zarith uuidm camomile atdgen atdj ctypes ctypes-foreign csv uri ocamlbuild-atdgen ocp-ocamlres
