Merge: share: shallow clone bdwgc for Android and iOS
[nit.git] / misc / jenkins / checkbinaryfiles.sh
2017-04-27 Jean Privatjenkins: add checkbinaryfiles.sh