Commit 4ee65a6f authored Aug 06, 2019 by David Goulet

Merge branch 'tor-github/pr/1193'

parents 82488121 223afc2d

Makefile.am

+1 −1

Original line number	Diff line number	Diff line
		@@ -371,7 +371,7 @@ endif

		check-best-practices:
		if USEPYTHON
		@$(PYTHON) $(top_srcdir)/scripts/maint/practracker/practracker.py $(top_srcdir)
		@$(PYTHON) $(top_srcdir)/scripts/maint/practracker/practracker.py $(top_srcdir) $(TOR_PRACTRACKER_OPTIONS)
		endif

		practracker-regen:

changes/ticket31309

0 → 100644

+4 −0

Original line number	Diff line number	Diff line
		o Minor features (best practices tracker):
		- Add a TOR_PRACTRACKER_OPTIONS variable for passing arguments
		to practracker from the environment. We may want this for
		continuous integration. Closes ticket 31309.