Index: tools/list_files.py |
diff --git a/tools/list_files.py b/tools/list_files.py |
index ad277e853f0a03c851b03b4f0ac9f37ca592c4f0..f5dad8656d33bd2a949fe05dd0db28852bb04d71 100755 |
--- a/tools/list_files.py |
+++ b/tools/list_files.py |
@@ -17,11 +17,13 @@ import sys |
def main(argv): |
pattern = re.compile(argv[1]) |
for directory in argv[2:]: |
+ if not os.path.isabs(directory): |
+ directory = os.path.realpath(directory) |
for root, directories, files in os.walk(directory): |
if '.git' in directories: |
directories.remove('.git') |
for filename in files: |
- fullname = os.path.relpath(os.path.join(root, filename)) |
+ fullname = os.path.join(directory, root, filename) |
fullname = fullname.replace(os.sep, '/') |
if re.search(pattern, fullname): |
print fullname |