diff --git a/utils/nightly/Makefile b/utils/nightly/Makefile index 61439c187f4995e55e1a524a8f54123d461dcf09..0e26c6f3d7cc44544760b1ddcacfbe79f06fc92d 100644 --- a/utils/nightly/Makefile +++ b/utils/nightly/Makefile @@ -21,7 +21,7 @@ gmsh-update: rm -rf ${GMSH}/gmsh-*cvs* echo "BUILD BEGIN: `date`" > ${LOG} cd ${GMSH} && export CVS_RSH=ssh && cvs update -dPA >> ${LOG} 2>&1 - cd ${GMSH} && ./configure --enable-universal --disable-fm\ + cd ${GMSH} && ./configure --enable-universal --disable-fm --disable-kbipack\ --with-occ-prefix=/usr/local/opencascade\ --with-fltk-prefix=/usr/local >> ${LOG} 2>&1 cd ${GMSH} && make clean >> ${LOG} 2>&1