jenkins: add checkbinaryfiles.sh
authorJean Privat <jean@pryen.org>
Wed, 17 Aug 2016 14:56:15 +0000 (10:56 -0400)
committerJean Privat <jean@pryen.org>
Thu, 27 Apr 2017 13:49:58 +0000 (09:49 -0400)
commitc85720d3bb898d9471be95f174ef48229a2a5895
treea00a8c18f3a7566a4a1e88c03c2b5ae0c0974fd3
parent0acaba63c0c6f3d15674a5a0cfc271570044da94
jenkins: add checkbinaryfiles.sh

Signed-off-by: Jean Privat <jean@pryen.org>
misc/jenkins/checkbinaryfiles.sh [new file with mode: 0755]