aboutsummaryrefslogtreecommitdiff
path: root/Makefile.am
diff options
context:
space:
mode:
authorNick Mathewson <nickm@torproject.org>2019-08-21 09:46:20 -0400
committerNick Mathewson <nickm@torproject.org>2019-08-21 09:46:20 -0400
commitcc48eff2d3b07a8dd2f621f09217ba29b4e6771c (patch)
tree435bccd2d02403f6292afb83cbff74ec6210b07c /Makefile.am
parent4b1e0dd5b53528996a3a0f92717e5ccbb8819a4b (diff)
parent0f4b245b20e4fc16d4382a48121801c300b686a9 (diff)
downloadtor-cc48eff2d3b07a8dd2f621f09217ba29b4e6771c.tar.gz
tor-cc48eff2d3b07a8dd2f621f09217ba29b4e6771c.zip
Merge branch 'ticket31176' into ticket31176_merged
Diffstat (limited to 'Makefile.am')
-rw-r--r--Makefile.am3
1 files changed, 2 insertions, 1 deletions
diff --git a/Makefile.am b/Makefile.am
index bb5dee52e9..d3cce3934d 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -169,6 +169,7 @@ EXTRA_DIST+= \
scripts/maint/checkIncludes.py \
scripts/maint/checkSpace.pl \
scripts/maint/practracker/exceptions.txt \
+ scripts/maint/practracker/includes.py \
scripts/maint/practracker/metrics.py \
scripts/maint/practracker/practracker.py \
scripts/maint/practracker/practracker_tests.py \
@@ -379,7 +380,7 @@ endif
check-includes:
if USEPYTHON
- $(PYTHON) $(top_srcdir)/scripts/maint/checkIncludes.py
+ $(PYTHON) $(top_srcdir)/scripts/maint/practracker/includes.py
endif
check-best-practices: