Index: tools/create_sdk.py |
diff --git a/tools/create_sdk.py b/tools/create_sdk.py |
index 6a43e75f75f1d75a1ab0b0ced56a9d2889a5a386..90d86871ca34fc579b3e040fb45a9fde02d8a5fb 100755 |
--- a/tools/create_sdk.py |
+++ b/tools/create_sdk.py |
@@ -101,19 +101,24 @@ def CopyShellScript(src_file, dest_dir): |
if HOST_OS == 'win32': |
file_extension = '.bat' |
+ # If we're copying an SDK-specific shell script, strip off the suffix. |
+ dest_file = basename(src_file) |
+ if dest_file.endswith('_sdk'): |
+ dest_file = dest_file.replace('_sdk', '') |
+ |
src = src_file + file_extension |
- dest = join(dest_dir, basename(src_file) + file_extension) |
+ dest = join(dest_dir, dest_file + file_extension) |
Copy(src, dest) |
def CopyDartScripts(home, sdk_root): |
- for executable in ['dart2js', 'dartanalyzer', 'dartfmt', 'docgen', 'pub']: |
+ for executable in ['dart2js', 'dartanalyzer', 'dartfmt', 'docgen', 'pub_sdk']: |
CopyShellScript(os.path.join(home, 'sdk', 'bin', executable), |
os.path.join(sdk_root, 'bin')) |
def CopySnapshots(snapshots, sdk_root): |
- for snapshot in ['analysis_server', 'dart2js', 'dartanalyzer', 'dartfmt', |
+ for snapshot in ['analysis_server', 'dart2js', 'dartanalyzer', 'dartfmt', |
'utils_wrapper', 'pub']: |
snapshot += '.dart.snapshot' |
copyfile(join(snapshots, snapshot), |