| Index: tools/copy_dart.py
|
| diff --git a/tools/copy_dart.py b/tools/copy_dart.py
|
| index 10ed4422b5cc1e343c7b62324aa2378bf70eb9c5..b60ad8911e39ab86b9ca021602cf71cb6e3a1c50 100755
|
| --- a/tools/copy_dart.py
|
| +++ b/tools/copy_dart.py
|
| @@ -123,7 +123,7 @@ def main(outdir = None, *inputs):
|
| mergefiles([normjoin(dirname(lib), s) for s in library.sources], f)
|
|
|
| for suffix in library.imports:
|
| - m = re.match(r'[\'"]([^\'"]+)[\'"](\s+as\s+\w+)?$', suffix)
|
| + m = re.match(r'[\'"]([^\'"]+)[\'"](\s+as\s+\w+)?.*$', suffix)
|
| uri = m.group(1)
|
| if not uri.startswith('dart:'):
|
| worklist.append(normjoin(dirname(lib), uri));
|
|
|