diff --git a/Installation/Jenkins/build.sh b/Installation/Jenkins/build.sh index 17e66d48d4..8129acecb7 100755 --- a/Installation/Jenkins/build.sh +++ b/Installation/Jenkins/build.sh @@ -415,7 +415,7 @@ SOURCE_DIR=`compute_relative ${DST}/ ${SRC}/` if [ ! -f Makefile -o ! -f CMakeCache.txt ]; then CFLAGS="${CFLAGS}" CXXFLAGS="${CXXFLAGS}" LDFLAGS="${LDFLAGS}" LIBS="${LIBS}" \ - cmake ${SOURCE_DIR} ${CONFIGURE_OPTIONS} -G "${GENERATOR}" + cmake ${SOURCE_DIR} ${CONFIGURE_OPTIONS} -G "${GENERATOR}" || exit 1 fi ${MAKE_CMD_PREFIX} ${MAKE} ${MAKE_PARAMS}