diff options
Diffstat (limited to 'citools')
| -rwxr-xr-x | citools/jenkins-build.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/citools/jenkins-build.sh b/citools/jenkins-build.sh index bff4cd0..8a5fed3 100755 --- a/citools/jenkins-build.sh +++ b/citools/jenkins-build.sh @@ -225,7 +225,7 @@ elif [ "x${HOST}" = "x${TARGET_DOCS}" ]; then elif [ "x${HOST}" = "x${TARGET_SANITIZE}" ]; then # Sanitize build - ${NAME} Q= HOST=${HOST} VARIANT=${VARIANT} sanitize + env UBSAN_OPTIONS=print_stacktrace=1 ${MAKE} Q= HOST=${HOST} VARIANT=${VARIANT} sanitize else # Normal build |