diff options
Diffstat (limited to 'ci/run-build-and-tests.sh')
| -rwxr-xr-x | ci/run-build-and-tests.sh | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/ci/run-build-and-tests.sh b/ci/run-build-and-tests.sh index c43e374a2..c3c382e92 100755 --- a/ci/run-build-and-tests.sh +++ b/ci/run-build-and-tests.sh @@ -24,6 +24,15 @@ case "${TARGET-}" in ;; esac +case "${STACKTRACE-}" in + libdw|libunwind) + DISTCHECK_CONFIGURE_FLAGS="$DISTCHECK_CONFIGURE_FLAGS --with-$STACKTRACE" + ;; + no) + DISTCHECK_CONFIGURE_FLAGS="$DISTCHECK_CONFIGURE_FLAGS --disable-stacktrace" + ;; +esac + case "$KHEADERS" in */*) CPPFLAGS='-isystem /opt/kernel/include' |