Merge branch 'tor-github/pr/1195'

This commit is contained in:
George Kadianakis
2019-08-06 14:51:47 +03:00
6 changed files with 52 additions and 17 deletions
+5 -1
View File
@@ -31,7 +31,11 @@ TESTSCRIPTS += \
endif
if USEPYTHON
TESTSCRIPTS += src/test/test_ntor.sh src/test/test_hs_ntor.sh src/test/test_bt.sh
TESTSCRIPTS += \
src/test/test_ntor.sh \
src/test/test_hs_ntor.sh \
src/test/test_bt.sh \
scripts/maint/practracker/test_practracker.sh
if COVERAGE_ENABLED
# ...