Harald Welte 6853b7dac1 coverity: Don't start with a new clone, but simply fetch/checkout ... If a given git clone already exists, simply do a fetch + checkout -f, rather than cloning a decade worth of history from scratch. Change-Id: Icecb2d00a75bc303d84efafee5c1f2d52ba1b6b3		2017-10-11 08:44:18 +08:00
..
build_Osmocom.sh	Use new GPRS repositories	2017-10-02 08:37:40 +00:00
coverity_Osmocom.sh	coverity: check out clean sources every time	2016-10-11 14:06:36 +02:00
get_token.sh	coverity: rename iuh build to Osmocom	2016-10-01 01:58:19 +02:00
jenkins.sh	coverity: add jenkins.sh as explicit build server entry point	2016-10-01 01:58:47 +02:00
prepare_source_Osmcocom.sh	coverity: Don't start with a new clone, but simply fetch/checkout	2017-10-11 08:44:18 +08:00