jenkins: dump relevant configuration files from build environment
authorJustus Winter <justus@g10code.com>
Wed, 11 Jan 2017 11:32:45 +0000 (12:32 +0100)
committerJustus Winter <justus@g10code.com>
Wed, 11 Jan 2017 11:32:45 +0000 (12:32 +0100)
commite85b8a56beb6e44081fedfc7f985a796f3a8de4c
tree5fb481424fe2e43a8d72662e1d1982741460a20c
parent22fce826b8aec87f80861acd583fed2adbdc80c5
jenkins: dump relevant configuration files from build environment

Signed-off-by: Justus Winter <justus@g10code.com>
misc/jenkins/bin/build.bash