diff options
-rwxr-xr-x | new-publish/publish | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/new-publish/publish b/new-publish/publish index 81c63c1..eefa39e 100755 --- a/new-publish/publish +++ b/new-publish/publish @@ -68,7 +68,7 @@ if __name__ == "__main__": log("Done uploading files to intermediate server") log("Triggering propagation of files to downloads server") - rc = os.system("ssh -i %s %s@%s propagate.py %s %s %s" % (options.identity_trigger, + rc = os.system("ssh -i %s %s@%s /home/ubuntu/linaro-jenkins-tools/new-publish/propagate.py %s %s %s" % (options.identity_trigger, TRIGGER_USER_NAME, REMOTE_HOST, "-s" if options.staging else "", "--host=%s" % options.host if options.host else "", |