remove practracker from check-local (0.4.2 and 0.4.3 only)

practracker shouldn't be running in release or maint branches.
This commit is contained in:
Nick Mathewson 2019-06-19 14:29:08 -04:00 committed by teor
parent 2d7e08d57e
commit 2d34d4d1af
No known key found for this signature in database
GPG Key ID: 10FEAA0E7075672A

View File

@ -245,7 +245,7 @@ test: all
shellcheck:
$(top_srcdir)/scripts/maint/checkShellScripts.sh
check-local: check-spaces check-changes check-includes check-best-practices shellcheck
check-local: check-spaces check-changes check-includes shellcheck
need-chutney-path:
@if test ! -d "$$CHUTNEY_PATH"; then \