By arranging for cr-publish-flight-logs to ignore --push-harness if
either of HarnessPublishGitRepoDir or HarnessPublishGitUserHost are
not specified
Signed-off-by: Ian Campbell <ian.campbell@citrix.com>
Acked-by: Ian Jackson <ian.jackson@eu.citrix.com>
---
v2:
- Avoid logm which isn't available here, wasn't saying much of use
anyway.
- Syntax fix (is not a function, so exit not return)
Perhaps we should have our own tree for such things, but for now just
nobble it.
my $githost= $c{HarnessPublishGitUserHost};
my $gitdir= $c{HarnessPublishGitRepoDir};
+ exit 0 if (!$githost || !$gitdir);
+
system_checked("git push $githost:$gitdir HEAD:refs/heads/flight-$flight");
system_checked("ssh $githost 'cd $gitdir && git update-server-info'");
}
LogsPublish= "$c{Publish}/logs"
ResultsPublish= "$c{Publish}/results"
-HarnessPublishGitUserHost xen@xenbits.xensource.com
-HarnessPublishGitRepoDir git/osstest.git
-
ReportTrailer= <<END
Logs, config files, etc. are available at
$c{ReportHtmlPubBaseUrl}