Merge branch 'maint-0.3.5' into maint-0.4.3

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.