diff options
| author |  Nicolas "Pixel" Noble <pixel@nobis-crew.org> | 2015-10-08 23:25:06 +0200 |
|---|---|---|
| committer | Nicolas "Pixel" Noble <pixel@nobis-crew.org> | 2015-10-08 23:25:06 +0200 |
| commit | 52f6fc1e1eb617b20b6ebc784dad65fa582b5aa7 (patch) | |
| tree | 14c07a5314c9ea8377fef54a9fa183fe526b3f71 /tools/jenkins | |
| parent | 6d22a583610c02de4f5c5139570ea5fcfb010a25 (diff) | |
All of the subprojects need to generate a report, otherwise Jenkins will be sad.
Diffstat (limited to 'tools/jenkins')
| -rwxr-xr-x | tools/jenkins/run_jenkins.sh | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/tools/jenkins/run_jenkins.sh b/tools/jenkins/run_jenkins.sh index 67cfc2bb0a..0e1af2a2a9 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 |