2 Commits

Author	SHA1	Message	Date
Max	1239cabeea	cosmetic: remove wrapper script ... The jenkins.sh is just a tiny wrapper around coverity_Osmocom.sh - let's remove this unnecessary indirection and move the code directly to jenkins.sh Change-Id: Iead3b8f39327f1d0dd80e12a9d38563c35701993	2018-01-22 11:03:41 +01:00
Neels Hofmeyr	b497b36543	coverity: add jenkins.sh as explicit build server entry point ... During the recent refactorings, I need to edit the jenkins build config at the right time to apply renames. To make this easier in the future, add an explicit (so far trivial) entry point for jenkins that can just be updated from git. Change-Id: I8de9444df513b3aaaddb07b383e458186237dfab	2016-10-01 01:58:47 +02:00