jenkins: Add scripts from our jenkins installation
authorWerner Koch <wk@gnupg.org>
Thu, 8 Dec 2016 10:34:23 +0000 (11:34 +0100)
committerWerner Koch <wk@gnupg.org>
Thu, 8 Dec 2016 10:34:23 +0000 (11:34 +0100)
commit55eb257c40313f8fbaee6938d0c9f0eeb9ceef10
tree3d9ad74955665bfcd5a0b39b61e422a1bd44b0b0
parent1c99eac456264ffc8979578a7e907ec238af59fc
jenkins: Add scripts from our jenkins installation
misc/jenkins/bin/build.bash [new file with mode: 0755]
misc/jenkins/bin/make-windows-cd.sh [new file with mode: 0644]
misc/jenkins/bin/python.txt [new file with mode: 0644]
misc/jenkins/bin/python3 [new file with mode: 0755]
misc/jenkins/bin/run-tests.bat [new file with mode: 0644]