diff options
| author | Nick Mathewson <nickm@torproject.org> | 2018-07-30 09:07:19 -0400 |
|---|---|---|
| committer | Nick Mathewson <nickm@torproject.org> | 2018-07-30 09:07:19 -0400 |
| commit | aeffbe51017c7b4f401ab5c658075417610caccd (patch) | |
| tree | d5f05bc61c4175a41775abe5c61dddf82d6f9839 /Makefile.am | |
| parent | ee1228622291217fd2614a4e29469559b8dc4129 (diff) | |
| download | tor-aeffbe51017c7b4f401ab5c658075417610caccd.tar.gz tor-aeffbe51017c7b4f401ab5c658075417610caccd.zip | |
Run check-includes.py script with detected python path.
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 adeca6e43a..73dc56b281 100644 --- a/Makefile.am +++ b/Makefile.am @@ -314,7 +314,7 @@ endif check-includes: if USEPYTHON - $(top_srcdir)/scripts/maint/checkIncludes.py + $(PYTHON) $(top_srcdir)/scripts/maint/checkIncludes.py endif check-docs: all |