Merge pull request #3753 from nicolasnoble/generate-all-the-reports

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

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