cr-publish-flight-logs: Work with --push-harness but no remote git

--push-harness might be specified even though there is no git tree to
push to.  In that situation, do not daftly not even push the logs.

Signed-off-by: Ian Jackson <Ian.Jackson@eu.citrix.com>

diff --git a/cr-publish-flight-logs b/cr-publish-flight-logs
index 7249d039800262362e0b10beaf664d55308be408..faae7e0ebf3980380b562784e0b33cd368510db2 100755 (executable)
--- a/cr-publish-flight-logs
+++ b/cr-publish-flight-logs
@@ -45,15 +45,15 @@ if ($push_harness) {
     my $githost= $c{HarnessPublishGitUserHost};
     my $gitdir= $c{HarnessPublishGitRepoDir};
 
-    exit 0 if (!$githost || !$gitdir);
-
-    eval {
+    if ($githost && $gitdir) {
+        eval {
     system_checked("git push $githost:$gitdir HEAD:refs/heads/flight-$flight");
     system_checked("ssh $githost 'cd $gitdir && git update-server-info'");
-    };
-    if ($@) {
-       $push_harness eq '--push-harness-try' or die;
-       warn;
+        };
+        if ($@) {
+            $push_harness eq '--push-harness-try' or die;
+            warn;
+        }
     }
 }