diff options
| author | Daniel Silverstone <dsilvers@digital-scurf.org> | 2018-07-28 14:32:54 +0100 |
|---|---|---|
| committer | Daniel Silverstone <dsilvers@digital-scurf.org> | 2018-07-28 14:32:54 +0100 |
| commit | 9ff9ca5791faee0c3d8321987e8c021042511f77 (patch) | |
| tree | 6b9afc5940057fa1da0ff7d93860d4b9e2d0ca62 /citools/jenkins-build.sh | |
| parent | b5403fb681d18e7ed2e8ad455463db9d0667ae7e (diff) | |
| download | buildsystem-9ff9ca5791faee0c3d8321987e8c021042511f77.tar.gz buildsystem-9ff9ca5791faee0c3d8321987e8c021042511f77.tar.bz2 | |
Support print_stacktrace for UBSAN
Diffstat (limited to 'citools/jenkins-build.sh')
| -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 |