Fix merging problem

This commit is contained in:
TApplencourt 2016-01-15 16:29:44 +01:00
parent a2eb71bb27
commit 8818ef929e
1 changed files with 1 additions and 2 deletions

View File

@ -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
rm -f ../_build/ocaml.log