| Index: tools/make_links.py
|
| diff --git a/tools/make_links.py b/tools/make_links.py
|
| index 0874ca8f5a6c6d67d735088560939c6e36fd6c83..b99ef6e25f17be89d82952dbe8bc3ea89851b836 100644
|
| --- a/tools/make_links.py
|
| +++ b/tools/make_links.py
|
| @@ -4,7 +4,7 @@
|
| # BSD-style license that can be found in the LICENSE file.
|
|
|
|
|
| -'''Tool for creating symlinks from SOURCES to TARGET.
|
| +"""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
|
| @@ -15,7 +15,7 @@ removed.
|
|
|
| Usage:
|
| python tools/make_links.py OPTIONS TARGET SOURCES...
|
| -'''
|
| +"""
|
|
|
| import optparse
|
| import os
|
|
|