Index: dart/tools/make_links.py |
diff --git a/dart/tools/make_links.py b/dart/tools/make_links.py |
deleted file mode 100644 |
index 22078e1a1b3260271ee73ddcdf0174a8e8d2b410..0000000000000000000000000000000000000000 |
--- a/dart/tools/make_links.py |
+++ /dev/null |
@@ -1,47 +0,0 @@ |
-#!/usr/bin/env python |
-# Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file |
-# for details. All rights reserved. Use of this source code is governed by a |
-# BSD-style license that can be found in the LICENSE file. |
- |
- |
-'''Tool for creating symlinks from SOURCES to TARGET. |
- |
-For each SOURCE in SOURCES create a link from SOURCE to TARGET. If a |
-SOURCE ends with .../lib, the lib suffix is ignored when determining |
-the name of the target link. |
- |
-Usage: |
- python tools/make_links.py TARGET SOURCES... |
-''' |
- |
-import os |
-import subprocess |
-import sys |
-import utils |
- |
- |
-def make_link(source, target): |
- if utils.GuessOS() == 'win32': |
- return subprocess.call(['mklink', '/j', target, source]) |
- else: |
- return subprocess.call(['ln', '-s', source, target]) |
- |
- |
-def main(argv): |
- target = argv[1] |
- for source in argv[2:]: |
- # Assume the source directory is named ".../TARGET_NAME/lib". |
- (name, lib) = os.path.split(source) |
- if lib != 'lib': |
- name = source |
- # Remove any addtional path components preceding TARGET_NAME. |
- (path, name) = os.path.split(name) |
- exit_code = make_link(os.path.relpath(source, start=target), |
- os.path.join(target, name)) |
- if exit_code != 0: |
- return exit_code |
- return 0 |
- |
- |
-if __name__ == '__main__': |
- sys.exit(main(sys.argv)) |