diff options
author | David Goulet <dgoulet@torproject.org> | 2019-08-06 07:42:20 -0400 |
---|---|---|
committer | David Goulet <dgoulet@torproject.org> | 2019-08-06 07:42:20 -0400 |
commit | 4ee65a6f877e841739f037ad27d2d588ce4e0c51 (patch) | |
tree | a94a8089ea697330ab796a0b1bedd99f364d439b /Makefile.am | |
parent | 82488121882040f6831be554a21629c1428f8031 (diff) | |
parent | 223afc2d8f4fd48445c3dc30168a753075ba4959 (diff) | |
download | tor-4ee65a6f877e841739f037ad27d2d588ce4e0c51.tar.gz tor-4ee65a6f877e841739f037ad27d2d588ce4e0c51.zip |
Merge branch 'tor-github/pr/1193'
Diffstat (limited to 'Makefile.am')
-rw-r--r-- | Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.am b/Makefile.am index 8eeba5edb7..7ada42f9d0 100644 --- a/Makefile.am +++ b/Makefile.am @@ -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: |