From c438d5ee2b432fe3ff0c37dfd62cec90146e4ba7 Mon Sep 17 00:00:00 2001 From: TheAssassin Date: Sat, 30 Jun 2018 00:52:10 +0200 Subject: [PATCH] Change build type --- travis/build.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/travis/build.sh b/travis/build.sh index 09ad262..ec8a2ec 100755 --- a/travis/build.sh +++ b/travis/build.sh @@ -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)