tree ecedfaa7517e49164e4954585c2a5c2f7b4ddce0
parent 760c58f226b913f927641b6c99a2f855af49754b
author Neels Hofmeyr <neels@hofmeyr.de> 1548699065 +0100
committer Neels Hofmeyr <neels@hofmeyr.de> 1548720205 +0100

jenkins distcheck: enable external tests

It was recently discovered that logging_vty_test.vty was missing from
EXTRA_DIST. To make sure we don't forget similar files in the future, add
python tests to 'make distcheck', by means of DISTCHECK_CONFIGURE_FLAGS.

Related: I1bcedf3097f02b2adc679560d1cbceb27dbc345e
Change-Id: Id569b2a932c1428cabb4d7ff17822cff8eee02af