distcheck failure after #375
After #375 (closed) Jenkins is reporting:
make[2]: Leaving directory `/home/jenkins/workspace/kea-master-distcheck/kea-1.5.0-git/_build/m4macros'
rm -f config.status config.cache config.log configure.lineno config.status.lineno
rm -f Makefile
ERROR: files left in build directory after distclean:
./src/bin/agent/tests/testvalid.json
make[1]: *** [distcleancheck] Error 1
make[1]: Leaving directory `/home/jenkins/workspace/kea-master-distcheck/kea-1.5.0-git/_build'