From c09ba6efdb981e1ece41d3f5627a0b4f6d25e9bf Mon Sep 17 00:00:00 2001 From: Cheng Zhao Date: Thu, 22 Jan 2015 18:03:15 -0800 Subject: [PATCH] Use upload-node-headers.py in upload.py --- script/create-dist.py | 1 - script/upload.py | 8 ++++++-- 2 files changed, 6 insertions(+), 3 deletions(-) diff --git a/script/create-dist.py b/script/create-dist.py index 835714ddb40b..bab43e85997d 100755 --- a/script/create-dist.py +++ b/script/create-dist.py @@ -84,7 +84,6 @@ def main(): create_symbols() copy_binaries() copy_chromedriver() - copy_headers() copy_license() if TARGET_PLATFORM == 'linux': diff --git a/script/upload.py b/script/upload.py index 5954c5515af9..e066d89423d2 100755 --- a/script/upload.py +++ b/script/upload.py @@ -2,7 +2,6 @@ import argparse import errno -import glob import os import subprocess import sys @@ -59,11 +58,16 @@ def main(): os.path.join(DIST_DIR, CHROMEDRIVER_NAME)) if args.publish_release: - # Upload PDBs to Windows symbol server. if TARGET_PLATFORM == 'win32': + # Upload PDBs to Windows symbol server. execute([sys.executable, os.path.join(SOURCE_ROOT, 'script', 'upload-windows-pdb.py')]) + # Upload node headers. + execute([sys.executable, + os.path.join(SOURCE_ROOT, 'script', 'upload-node-headers.py'), + '-v', ATOM_SHELL_VERSION]) + # Press the publish button. publish_release(github, release_id)