From b497b36543d2ed0fd0266cf42f8e4a908ee3ed10 Mon Sep 17 00:00:00 2001
From: Neels Hofmeyr <nhofmeyr@sysmocom.de>
Date: Sat, 1 Oct 2016 01:47:16 +0200
Subject: 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
---
 coverity/jenkins.sh | 2 ++
 1 file changed, 2 insertions(+)
 create mode 100755 coverity/jenkins.sh

(limited to 'coverity')

diff --git a/coverity/jenkins.sh b/coverity/jenkins.sh
new file mode 100755
index 0000000..9adfe99
--- /dev/null
+++ b/coverity/jenkins.sh
@@ -0,0 +1,2 @@
+#!/bin/sh
+./coverity_Osmocom.sh
-- 
cgit v1.2.3