diff options
author | David Goulet <dgoulet@torproject.org> | 2019-08-01 10:18:10 -0400 |
---|---|---|
committer | David Goulet <dgoulet@torproject.org> | 2019-08-01 10:18:10 -0400 |
commit | c4864de5734b623999701da30a42019cabc42e54 (patch) | |
tree | 28ea40533aa1b6e9c80ba8ca22af28906eaa3886 /Makefile.am | |
parent | 6dba86d7c92d25b5a6eedd0dbd75dc466dcaa43a (diff) | |
parent | 19536fd18d02a52031f7914d5930645bb53b9dba (diff) | |
download | tor-c4864de5734b623999701da30a42019cabc42e54.tar.gz tor-c4864de5734b623999701da30a42019cabc42e54.zip |
Merge branch 'tor-github/pr/1177'
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 309696ede9..8eeba5edb7 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) endif practracker-regen: |