jenkins: use ccache if available
authorJustus Winter <justus@g10code.com>
Thu, 6 Apr 2017 11:25:49 +0000 (13:25 +0200)
committerJustus Winter <justus@g10code.com>
Thu, 6 Apr 2017 11:25:49 +0000 (13:25 +0200)
commit25a44e820e31809c2919db98e5b455aca7311b82
tree58ab5514ee89bcef68074e7a6ad1adc67e30ac6a
parentdf62925eb36ad7d2908a9d1f991703d33a530816
jenkins: use ccache if available
misc/jenkins/bin/build.bash