| Index: dart/tools/make_links.py
|
| diff --git a/dart/tools/make_links.py b/dart/tools/make_links.py
|
| index 3f54004531a43bc8f4348ca5ef44b1c3ca62c63d..e47d02f4aed1d43c34b426347e513c22a134a9a3 100644
|
| --- a/dart/tools/make_links.py
|
| +++ b/dart/tools/make_links.py
|
| @@ -50,12 +50,14 @@ def make_link(source, target):
|
|
|
| def main(argv):
|
| target = os.path.relpath(argv[1])
|
| + if not os.path.exists(target):
|
| + os.makedirs(target)
|
| for source in argv[2:]:
|
| - # Assume the source directory is named ".../TARGET_NAME/lib".
|
| + # Assume the source directory is named ".../NAME/lib".
|
| (name, lib) = os.path.split(source)
|
| if lib != 'lib':
|
| name = source
|
| - # Remove any addtional path components preceding TARGET_NAME.
|
| + # Remove any addtional path components preceding NAME.
|
| (path, name) = os.path.split(name)
|
| if utils.GuessOS() == 'win32':
|
| source = os.path.relpath(source)
|
|
|