diff options
| -rwxr-xr-x | build-aux/ci_build.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/build-aux/ci_build.sh b/build-aux/ci_build.sh index 6ab4777f..3cc014be 100755 --- a/build-aux/ci_build.sh +++ b/build-aux/ci_build.sh @@ -236,8 +236,8 @@ then # Remove old cache file to clear previous settings. rm -f "CMakeCache.txt" - cmake "$SRC_DIR/CMakeLists.txt" -B "$DEST_DIR" $EXTRA_OPTIONS -DADDITIONAL_CHECK_TYPES="$CHECK_TYPE" - make + cmake "$SRC_DIR/CMakeLists.txt" -B "$DEST_DIR" $EXTRA_OPTIONS -DADDITIONAL_CHECK_TYPES="$CHECK_TYPE" -G "Unix Makefiles" + cmake --build "$DEST_DIR" ;; esac fi |