diff options
| author | Alexander Færøy <ahf@torproject.org> | 2020-08-26 22:15:04 +0000 |
|---|---|---|
| committer | Alexander Færøy <ahf@torproject.org> | 2020-08-26 22:15:04 +0000 |
| commit | 3c884bc9e077e997b5fffebc1d62bd690fc0cc05 (patch) | |
| tree | da8403affd3a9cee6c96579bae160609d6d7aa28 /scripts/ci/ci-driver.sh | |
| parent | 511730db2d4b12e96cb90dfe18c7724fe2040bfc (diff) | |
| parent | 20a990cea3be353357723fa03b824dc9cfc6dd8c (diff) | |
| download | tor-3c884bc9e077e997b5fffebc1d62bd690fc0cc05.tar.gz tor-3c884bc9e077e997b5fffebc1d62bd690fc0cc05.zip | |
Merge remote-tracking branch 'tor-gitlab/mr/136'
Diffstat (limited to 'scripts/ci/ci-driver.sh')
| -rwxr-xr-x | scripts/ci/ci-driver.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/scripts/ci/ci-driver.sh b/scripts/ci/ci-driver.sh index 527bba82e5..cd91a91bbf 100755 --- a/scripts/ci/ci-driver.sh +++ b/scripts/ci/ci-driver.sh @@ -33,6 +33,7 @@ COVERAGE="${COVERAGE:-no}" RUST="${RUST:-no}" DOXYGEN="${DOXYGEN:-no}" ASCIIDOC="${ASCIIDOC:-no}" +TRACING="${TRACING:-no}" # Options for which tests to run. All should be yes/no. CHECK="${CHECK:-yes}" @@ -191,6 +192,7 @@ yes_or_no COVERAGE yes_or_no RUST yes_or_no DOXYGEN yes_or_no ASCIIDOC +yes_or_no TRACING yes_or_no RUN_STAGE_CONFIGURE yes_or_no RUN_STAGE_BUILD @@ -241,6 +243,9 @@ fi if [[ "$ASCIIDOC" != "yes" ]]; then configure_options+=("--disable-asciidoc") fi +if [[ "$TRACING" == "yes" ]]; then + configure_options+=("--enable-tracing-instrumentation-lttng") +fi ############################################################################# # Tell the user about our versions of different tools and packages. |