tor

commit 0702cf10db0ab0824d8d4d5df467fb15fc832f2e
parent 5e65a746aa90f123daa54cafedc0fcb331a7ac86
Author: Alexander Færøy <ahf@torproject.org>
Date:   Mon,  9 Nov 2020 14:15:03 +0000

Merge remote-tracking branch 'tor-gitlab/mr/192'

Diffstat:
M
.gitlab-ci.yml
 | 
1
+
M
src/core/or/include.am
 | 
1
+

2 files changed, 2 insertions(+), 0 deletions(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
@@ -170,6 +170,7 @@ debian-tracing:
   variables:
     TRACING: "yes"
     CHECK: "no"
+    DISTCHECK: "yes"
   script:
     - ./scripts/ci/ci-driver.sh
   # Ensure that we only run tracing when it's implemented.
diff --git a/src/core/or/include.am b/src/core/or/include.am
@@ -71,6 +71,7 @@ noinst_HEADERS +=					\
 	src/core/or/entry_port_cfg_st.h			\
 	src/core/or/extend_info_st.h			\
 	src/core/or/listener_connection_st.h		\
+	src/core/or/lttng_circuit.inc			\
 	src/core/or/onion.h				\
 	src/core/or/or.h				\
 	src/core/or/or_periodic.h			\