From ceed0f15e127b3c3b5dfac1ae23ca8745b54443a Mon Sep 17 00:00:00 2001 From: Wilfried Goesgens Date: Thu, 8 Feb 2018 11:45:43 +0100 Subject: [PATCH] Packaging/fix debug config (#4352) --- Installation/Jenkins/build.sh | 10 ++++++++-- scripts/build-dbg-deb.sh | 2 +- 2 files changed, 9 insertions(+), 3 deletions(-) diff --git a/Installation/Jenkins/build.sh b/Installation/Jenkins/build.sh index 67183d9e12..413eaa8753 100755 --- a/Installation/Jenkins/build.sh +++ b/Installation/Jenkins/build.sh @@ -181,8 +181,14 @@ case "$1" in BUILD_CONFIG=Debug CFLAGS="${CFLAGS} -O0" CXXFLAGS="${CXXFLAGS} -O0" - CONFIGURE_OPTIONS+=('-DV8_TARGET_ARCHS=Debug' "-DCMAKE_BUILD_TYPE=${BUILD_CONFIG}") - + CONFIGURE_OPTIONS+=( + '-DV8_TARGET_ARCHS=Debug' + '-DUSE_MAINTAINER_MODE=On' + '-DUSE_FAILURE_TESTS=On' + '-DOPTDBG=On' + "-DCMAKE_BUILD_TYPE=${BUILD_CONFIG}" + ) + echo "using debug compile configuration" shift ;; diff --git a/scripts/build-dbg-deb.sh b/scripts/build-dbg-deb.sh index a045a7ca75..8e8bd019df 100755 --- a/scripts/build-dbg-deb.sh +++ b/scripts/build-dbg-deb.sh @@ -23,7 +23,7 @@ if ! test -d 3rdParty/arangodb-starter; then fi ./Installation/Jenkins/build.sh \ - maintainer \ + debug \ --failure-tests \ --rpath \ --parallel ${CPU_CORES} \