diff options
| author | Nick Mathewson <nickm@torproject.org> | 2019-07-17 15:28:48 +0200 |
|---|---|---|
| committer | Nick Mathewson <nickm@torproject.org> | 2019-07-18 09:28:08 -0400 |
| commit | d6a3636cdcb2556e99744dc3685db2010e151291 (patch) | |
| tree | 2b25f53c67b8f2f8e22491b4b2db4e7ae8faf64f | |
| parent | 6303c9aa2647365fa66de2b6ce1af109417b6603 (diff) | |
| download | tor-d6a3636cdcb2556e99744dc3685db2010e151291.tar.gz tor-d6a3636cdcb2556e99744dc3685db2010e151291.zip | |
Add a TOR_DISABLE_PRACTRACKER envvar for use by folks who don't care
Fixes part of bug 30752
| -rw-r--r-- | Makefile.am | 4 | ||||
| -rwxr-xr-x | scripts/maint/practracker/practracker.py | 3 |
2 files changed, 6 insertions, 1 deletions
diff --git a/Makefile.am b/Makefile.am index e823f9e103..d6ea72c17a 100644 --- a/Makefile.am +++ b/Makefile.am @@ -369,7 +369,9 @@ endif check-best-practices: if USEPYTHON - $(PYTHON) $(top_srcdir)/scripts/maint/practracker/practracker.py $(top_srcdir) + @if test "$$TOR_DISABLE_PRACTRACKER" = ""; then \ + $(PYTHON) $(top_srcdir)/scripts/maint/practracker/practracker.py $(top_srcdir); \ + fi endif practracker-regen: diff --git a/scripts/maint/practracker/practracker.py b/scripts/maint/practracker/practracker.py index 75cd44d228..70035a0ab6 100755 --- a/scripts/maint/practracker/practracker.py +++ b/scripts/maint/practracker/practracker.py @@ -227,6 +227,9 @@ Please fix the problems if you can, and update the exceptions file ({}) if you can't. See doc/HACKING/HelpfulTools.md for more information on using practracker.\ + +You can disable this message by setting the TOR_DISABLE_PRACTRACKER environment +variable. """.format(found_new_issues, exceptions_file) print(new_issues_str) |