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 |