From 52f6fc1e1eb617b20b6ebc784dad65fa582b5aa7 Mon Sep 17 00:00:00 2001
From: "Nicolas \"Pixel\" Noble" <pixel@nobis-crew.org>
Date: Thu, 8 Oct 2015 23:25:06 +0200
Subject: [PATCH] All of the subprojects need to generate a report, otherwise
 Jenkins will be sad.

---
 tools/jenkins/run_jenkins.sh | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/tools/jenkins/run_jenkins.sh b/tools/jenkins/run_jenkins.sh
index 67cfc2bb0a4..0e1af2a2a9a 100755
--- a/tools/jenkins/run_jenkins.sh
+++ b/tools/jenkins/run_jenkins.sh
@@ -86,3 +86,9 @@ else
   echo "Unknown platform $platform"
   exit 1
 fi
+
+if [ ! -e reports/index.html ]
+then
+  mkdir -p reports
+  echo 'No reports generated.' > reports/index.html
+fi