diff --git a/install/scripts/install_ocaml.sh b/install/scripts/install_ocaml.sh index a1ca06a1..138251d4 100755 --- a/install/scripts/install_ocaml.sh +++ b/install/scripts/install_ocaml.sh @@ -76,5 +76,4 @@ source ${HOME}/.opam/opam-init/init.sh > /dev/null 2> /dev/null || true NCPUs=$(cat /proc/cpuinfo | grep -i MHz | wc -l) ${QP_ROOT}/bin/opam install -j ${NCPUs} ${PACKAGES} -y -q || exit 1 -rm -f ../_build/ocaml.log -exit 0 \ No newline at end of file +rm -f ../_build/ocaml.log \ No newline at end of file