All of the subprojects need to generate a report, otherwise Jenkins will be sad.

10 years ago · 52f6fc1e1e
parent 6d22a58361
commit 52f6fc1e1e
1 changed files with 6 additions and 0 deletions
--- 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