diff options
| author | Neels Hofmeyr <neels@hofmeyr.de> | 2019-01-28 19:11:05 +0100 |
|---|---|---|
| committer | Neels Hofmeyr <neels@hofmeyr.de> | 2019-01-29 01:03:25 +0100 |
| commit | 4ff41d94ce72afca20f9faaab1ab2f367f1e51aa (patch) | |
| tree | ecedfaa7517e49164e4954585c2a5c2f7b4ddce0 /src/rbtree.c | |
| parent | 760c58f226b913f927641b6c99a2f855af49754b (diff) | |
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
Diffstat (limited to 'src/rbtree.c')
0 files changed, 0 insertions, 0 deletions