diff options
| -rwxr-xr-x | utils/new-publish/publish | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/utils/new-publish/publish b/utils/new-publish/publish index 13c7f93..c312ecb 100755 --- a/utils/new-publish/publish +++ b/utils/new-publish/publish @@ -51,7 +51,7 @@ if __name__ == "__main__": rc = os.system("ssh -i %s %s@%s propagate.py %s %s" % (options.identity_trigger, TRIGGER_USER_NAME, REMOTE_HOST, - ["", "-s"][options.staging], + "-s" if options.staging else "", build_id)) if rc != 0: print "Publishing failed" |