Fix tests during Debian package build
export PYBUILD_NAME=benchexec
+# Our tests need some additional files in {build_dir} to execute succesfully
+export PYBUILD_BEFORE_TEST=cp -r {dir}/bin {dir}/doc {build_dir}/
+export PYBUILD_AFTER_TEST=rm -r {build_dir}/bin {build_dir}/doc
+
%:
dh $@ --with python3 --buildsystem=pybuild
