jenkins: add checkwhitespace to be a more explicit and friendly `git log --check`
authorJean Privat <jean@pryen.org>
Wed, 19 Aug 2015 06:56:36 +0000 (02:56 -0400)
committerJean Privat <jean@pryen.org>
Wed, 19 Aug 2015 18:34:13 +0000 (14:34 -0400)
commitc24d698df6b0609a0be0cd03f1e53ec51ec3467d
tree13f60bd36bb51293bc817204e0997e01f7b44701
parentffa7c819b7c34394c33f3e24f7fd197d0f3b9272
jenkins: add checkwhitespace to be a more explicit and friendly `git log --check`

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