From f581999dde1beca5a61ab8b43c06cef1d1e8053c Mon Sep 17 00:00:00 2001
From: Enno Rehling <enno.rehling@gmail.com>
Date: Thu, 29 Oct 2015 20:40:40 +0100
Subject: [PATCH] add a script to automate coverity scans

---
 s/coverity | 15 +++++++++++++++
 1 file changed, 15 insertions(+)
 create mode 100755 s/coverity

diff --git a/s/coverity b/s/coverity
new file mode 100755
index 000000000..8a7748e31
--- /dev/null
+++ b/s/coverity
@@ -0,0 +1,15 @@
+#!/bin/bash
+set -e
+VERSION="$1"
+shift
+DESC="$*"
+cd Debug
+make clean
+../../coverity/bin/cov-build --dir cov-int make eressea
+tar czf eressea.tgz cov-int
+curl --form token=IISXKH3A1ngZGfFmBz_aSA \
+  --form email=enno.rehling@gmail.com \
+  --form file=@eressea.tgz \
+  --form version="$VERSION" \
+  --form description="$DESC" \
+  https://scan.coverity.com/builds?project=eressea%2Fserver