Change build type

2026-07-10 12:18:44 -07:00 · 2018-06-30 00:52:10 +02:00
parent ee15c88978
commit c438d5ee2b
1 changed files with 1 additions and 1 deletions
@@ -35,7 +35,7 @@ else
    exit 1
 fi

-cmake "$REPO_ROOT" "${EXTRA_CMAKE_ARGS[@]}"
+cmake "$REPO_ROOT" -DCMAKE_INSTALL_PREFIX=/usr -DCMAKE_BUILD_TYPE=RelWithDebInfo "${EXTRA_CMAKE_ARGS[@]}"

 make -j$(nproc)