diff options
author | Nick Mathewson <nickm@torproject.org> | 2019-12-04 12:15:28 -0500 |
---|---|---|
committer | Nick Mathewson <nickm@torproject.org> | 2019-12-04 12:15:28 -0500 |
commit | fcb565612801ebcbbc27d47b19644039dfdebed2 (patch) | |
tree | 4e48fe7c0237f81adb0cb6755be88eb63bf86754 /Makefile.am | |
parent | 2693bf47e8f98d38386d79e48d56ecbaaf781a02 (diff) | |
parent | 9ad569c71d081992ac644695064ffb39ce88c61a (diff) | |
download | tor-fcb565612801ebcbbc27d47b19644039dfdebed2.tar.gz tor-fcb565612801ebcbbc27d47b19644039dfdebed2.zip |
Merge branch 'ticket32609_squashed'
Diffstat (limited to 'Makefile.am')
-rw-r--r-- | Makefile.am | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/Makefile.am b/Makefile.am index b01601ecc5..ba79fd3541 100644 --- a/Makefile.am +++ b/Makefile.am @@ -260,7 +260,10 @@ test: all shellcheck: $(top_srcdir)/scripts/maint/checkShellScripts.sh -check-local: check-spaces check-changes check-includes check-best-practices shellcheck check-cocci +check-practracker-unit-test: + $(top_srcdir)/scripts/maint/practracker/test_practracker.sh + +check-local: check-spaces check-changes check-includes check-practracker-unit-test check-best-practices shellcheck check-cocci need-chutney-path: @if test ! -d "$$CHUTNEY_PATH"; then \ |